Use assertNotThrown

Author: marzipankaiser

examples/stdlib/binstream.effekt

@@ -12,23 +12,23 @@ def main() = {
     test("int back-and-forth (17), explicit BE"){ assert(x"${17.BE}", 17) }
     test("int back-and-forth (17), explicit LE"){ assert(x"${17.LE}", 17 * 256 * 256 * 256) }
     test("byte 00101010"){
-      with on[MissingValue].default{ assert(true, false) }
+      with on[MissingValue].assertNotThrown
       assert(first[Byte]{groupBytesBE{ bit"00101010${()}" }}.toInt, 42)
     }
     test("to bits and back LE bitorder"){ 
-      with on[MissingValue].default{ assert(true, false) }
+      with on[MissingValue].assertNotThrown
       [42.toByte, 12.toByte, 113.toByte, 0.toByte, 255.toByte].foreach{ v =>
         assert(first[Byte]{ groupBytesLE{ bitsLE(v) } }, v)
       }
     }
     test("to bits and back BE bitorder"){ 
-      with on[MissingValue].default{ assert(true, false) }
+      with on[MissingValue].assertNotThrown
       [42.toByte, 12.toByte, 113.toByte, 0.toByte, 255.toByte].foreach{ v =>
         assert(first[Byte]{ groupBytesBE{ bitsBE(v) } }, v)
       }
     }
     test("append 0 means *2"){
-      with on[MissingValue].default{ assert(true, false) }
+      with on[MissingValue].assertNotThrown
       [42.toByte, 12.toByte, 127.toByte].foreach{ v =>
         assert(nth[Byte](1){ groupBytesBE{ repeat(7){ do emit(B0()) }; bitsBE(v); do emit(B0()) } }, (v.toInt * 2).toByte)
       }
@@ -37,11 +37,11 @@ def main() = {
       assert(pow(2,5), pow(2.0,5).toInt)
     }
     test("LE 2s-complement"){
-      with on[MissingValue].default{ assert(true, false) }
+      with on[MissingValue].assertNotThrown
       assert(first[Byte]{ groupBytesLE{ twoscomplementLE{ bitsLE(6.toByte) } } }, 250.toByte)
     }
     test("BE 2s-complement"){
-      with on[MissingValue].default{ assert(true, false) }
+      with on[MissingValue].assertNotThrown
       assert(first[Byte]{ groupBytesBE{ bit"${-6.Signed.BE.OfWidth(8)}" } }, 250.toByte)
     }
   }