add DIP1000 (#345)

Author: 9il

dub.sdl

@@ -17,6 +17,11 @@ buildType "unittest-dip1008" {
     versions "mir_bignum_test" "mir_test"
     dflags "-lowmem" "-preview=dip1008"
 }
+buildType "unittest-dip1000" {
+    buildOptions "unittests" "debugMode" "debugInfo"
+    versions "mir_bignum_test" // "mir_test"
+    dflags "-lowmem" "-preview=dip1000"
+}
 buildType "unittest-cov" {
     buildOptions "unittests" "coverage" "debugMode" "debugInfo"
     versions "mir_bignum_test" "mir_test"

source/mir/appender.d

@@ -332,7 +332,8 @@ version (mir_test) unittest
     assert(buf.data == "cs");
 }
 
-version(mir_test)
+version(mir_bignum_test) // for DIP1000
+@safe pure nothrow
 unittest
 {
     import mir.conv: to;
@@ -345,12 +346,14 @@ unittest
             return "_";
         }
     }
-    Algebraic!(int, string) x;
+    Algebraic!(int, string, double) x;
     x = 42;
     auto s = x.to!string;
     assert(s == "42", s);
     x = "abc";
     assert(x.to!string == "abc");
+    x = 42.0;
+    assert(x.to!string == "42.0");
     Algebraic!S y;
     y = S();
     assert(y.to!string == "_");

source/mir/bignum/fixed.d

@@ -111,7 +111,7 @@ struct UInt(size_t size)
 
     static if (size == 128)
     ///
-    version(mir_test) @safe pure @nogc unittest
+    version(mir_bignum_test) @safe pure @nogc unittest
     {
         import mir.math.constant: PI;
         UInt!256 integer = "34010447314490204552169750449563978034784726557588085989975288830070948234680"; // constructor
@@ -265,14 +265,14 @@ struct UInt(size_t size)
     }
 
     /// ditto
-    auto opCmp(ulong rhs) const
+    auto opCmp(ulong rhs) const scope
     {
         return opCmp(UInt!size(rhs));
     }
 
     /++
     +/
-    ref UInt!size opAssign(ulong rhs) return
+    ref UInt!size opAssign(ulong rhs) scope return
         @safe pure nothrow @nogc
     {
         this.data = UInt!size(rhs).data;
@@ -283,15 +283,15 @@ struct UInt(size_t size)
     `bool overflow = a += b ` and `bool overflow = a -= b` operations.
     +/
     bool opOpAssign(string op)(UInt!size rhs, bool overflow = false)
-        @safe pure nothrow @nogc
+        @safe pure nothrow @nogc scope
         if (op == "+" || op == "-")
     {
         return view.opOpAssign!op(rhs.view, overflow);
     }
 
     /// ditto
     bool opOpAssign(string op)(size_t rhs)
-        @safe pure nothrow @nogc
+        @safe pure nothrow @nogc scope
         if (op == "+" || op == "-")
     {
         return view.opOpAssign!op(rhs);
@@ -300,15 +300,15 @@ struct UInt(size_t size)
     static if (size_t.sizeof < ulong.sizeof)
     /// ditto
     bool opOpAssign(string op)(ulong rhs)
-        @safe pure nothrow @nogc
+        @safe pure nothrow @nogc scope
         if (op == "+" || op == "-")
     {
         return opOpAssign!op(UInt!size(rhs));
     }
 
     /// ditto
     bool opOpAssign(string op, size_t rsize)(UInt!rsize rhs, bool overflow = false)
-        @safe pure nothrow @nogc
+        @safe pure nothrow @nogc scope
         if ((op == "+" || op == "-") && rsize < size)
     {
         return opOpAssign!op(rhs.toSize!size, overflow);
@@ -318,15 +318,15 @@ struct UInt(size_t size)
     Returns: overflow value of multiplication
     +/
     size_t opOpAssign(string op : "*")(size_t rhs, size_t carry = 0)
-        @safe pure nothrow @nogc
+        @safe pure nothrow @nogc scope
     {
         return view.opOpAssign!op(rhs, carry);
     }
 
     static if (size_t.sizeof == 4)
     /// ditto
     auto opOpAssign(string op : "*")(ulong rhs)
-        @safe pure nothrow @nogc
+        @safe pure nothrow @nogc scope
     {
         return opOpAssign!op(UInt!64(rhs));
     }
@@ -336,7 +336,7 @@ struct UInt(size_t size)
     Returns: overflow value of multiplication
     +/
     void opOpAssign(string op : "*", size_t rhsSize)(UInt!rhsSize rhs)
-        @safe pure nothrow @nogc
+        @safe pure nothrow @nogc scope
         if (rhsSize <= size)
     {
         this = extendedMul(this, rhs).toSize!size;
@@ -352,7 +352,7 @@ struct UInt(size_t size)
         unsigned remainder value (evaluated overflow)
     +/
     uint opOpAssign(string op : "/")(uint rhs, uint overflow = 0)
-        @safe pure nothrow @nogc
+        @safe pure nothrow @nogc scope
     {
         assert(overflow < rhs);
         auto work = view.normalized;
@@ -382,7 +382,7 @@ struct UInt(size_t size)
     }
 
     ///
-    ref UInt!size opOpAssign(string op)(size_t rhs) nothrow return
+    ref UInt!size opOpAssign(string op)(size_t rhs) nothrow return scope
         if (op == "^" || op == "|" || op == "&")
     {
         mixin(`view.leastSignificantFirst[0] ` ~ op ~ `= rhs;`);
@@ -392,7 +392,7 @@ struct UInt(size_t size)
     static if (size_t.sizeof < ulong.sizeof)
     /// ditto
     ref opOpAssign(string op)(ulong rhs) return
-        @safe pure nothrow @nogc
+        @safe pure nothrow @nogc scope
         if (op == "^" || op == "|" || op == "&")
     {
         return opOpAssign!op(UInt!size(rhs));
@@ -805,7 +805,7 @@ UInt!sizeB extendedMulHigh(size_t sizeA, size_t sizeB)(UInt!sizeA a, UInt!sizeB
 
 /++
 +/
-UInt!(sizeA + sizeB) extendedMul(size_t sizeA, size_t sizeB)(UInt!sizeA a, UInt!sizeB b)
+UInt!(sizeA + sizeB) extendedMul(size_t sizeA, size_t sizeB)(UInt!sizeA a, UInt!sizeB b) @safe
 {
     UInt!(sizeA + sizeB) ret;
     enum al = a.data.length;
@@ -827,7 +827,7 @@ UInt!(sizeA + sizeB) extendedMul(size_t sizeA, size_t sizeB)(UInt!sizeA a, UInt!
 
 /// ditto
 UInt!(size + size_t.sizeof * 8)
-    extendedMul(size_t size)(UInt!size a, size_t b)
+    extendedMul(size_t size)(UInt!size a, size_t b) @safe
 {
     size_t overflow = a.view *= b;
     auto ret = a.toSize!(size + size_t.sizeof * 8);
@@ -873,7 +873,6 @@ UInt!64 extendedMul()(uint a, uint b)
 
 ///
 version(mir_bignum_test)
-version(mir_bignum_test)
 @safe pure @nogc
 unittest
 {