Enable Euclidean laws test

purescript-contrib · Sep 16, 2023 · 0148279 · 0148279
1 parent a085ebd
commit 0148279
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Main.purs b/test/Main.purs
@@ -137,7 +137,7 @@ main = do
   Data.checkSemiring prxBigInt
   Data.checkRing prxBigInt
   Data.checkCommutativeRing prxBigInt
-  -- Data.checkEuclideanRing prxBigInt
+  Data.checkEuclideanRing prxBigInt
 
   log "Converting BigInt to Int"
   assert $ (fromString "0" >>= toInt) == Just 0