diff --git a/std/internal/math/gammafunction.d b/std/internal/math/gammafunction.d index 8a79b980d..0975358c2 100644 --- a/std/internal/math/gammafunction.d +++ b/std/internal/math/gammafunction.d @@ -1296,11 +1296,13 @@ real betaDistPowerSeries(real a, real b, real x ) * values of a and x. */ real gammaIncomplete(real a, real x ) -in { +in +{ assert(x >= 0); assert(a > 0); } -do { +do +{ /* left tail of incomplete gamma function: * * inf. k @@ -1340,11 +1342,13 @@ do { /** ditto */ real gammaIncompleteCompl(real a, real x ) -in { +in +{ assert(x >= 0); assert(a > 0); } -do { +do +{ if (x == 0) return 1.0L; if ( (x < 1.0L) || (x < a) ) @@ -1426,11 +1430,13 @@ do { * root of incompleteGammaCompl(a,x) - p = 0. */ real gammaIncompleteComplInv(real a, real p) -in { +in +{ assert(p >= 0 && p <= 1); assert(a>0); } -do { +do +{ if (p == 0) return real.infinity; real y0 = p; diff --git a/std/mathspecial.d b/std/mathspecial.d index 6201a924c..1ab3c3b6e 100644 --- a/std/mathspecial.d +++ b/std/mathspecial.d @@ -253,21 +253,25 @@ real betaIncompleteInverse(real a, real b, real y ) * values of a and x. */ real gammaIncomplete(real a, real x ) -in { +in +{ assert(x >= 0); assert(a > 0); } -do { +do +{ return std.internal.math.gammafunction.gammaIncomplete(a, x); } /** ditto */ real gammaIncompleteCompl(real a, real x ) -in { +in +{ assert(x >= 0); assert(a > 0); } -do { +do +{ return std.internal.math.gammafunction.gammaIncompleteCompl(a, x); } @@ -278,11 +282,13 @@ do { * gammaIncompleteCompl( a, x ) = p. */ real gammaIncompleteComplInverse(real a, real p) -in { +in +{ assert(p >= 0 && p <= 1); assert(a > 0); } -do { +do +{ return std.internal.math.gammafunction.gammaIncompleteComplInv(a, p); } @@ -352,7 +358,8 @@ real normalDistribution(real x) * Note: This function is only implemented to 80 bit precision. */ real normalDistributionInverse(real p) -in { +in +{ assert(p >= 0.0L && p <= 1.0L, "Domain error"); } do diff --git a/std/signals.d b/std/signals.d index 7c07d2cbf..33f4eff44 100644 --- a/std/signals.d +++ b/std/signals.d @@ -239,7 +239,8 @@ mixin template Signal(T1...) */ final void unhook(Object o) in { assert( status == ST.idle ); } - do { + do + { debug (signal) writefln("Signal.unhook(o = %s)", cast(void*) o); for (size_t i = 0; i < slots_idx; ) {