Add tests and fix bug

Author: MaximilianAlgehed

src/Constrained/NumOrd.hs

@@ -895,7 +895,7 @@ instance Logic IntW where
     constrained $ \ x ->
       [ x `satisfies` notMemberSpec [0] | not $ ok 0 ] ++
       [ Assert $ 0 <=. x                | not $ ok (-1) ] ++
-      [ Assert $ x <=. x                | not $ ok 1 ]
+      [ Assert $ x <=. 0                | not $ ok 1 ]
     where ok = flip conformsToSpec (TypeSpec ts cant)
 
   propagateMemberSpec AddW (HOLE :<: i) es =
@@ -919,7 +919,7 @@ instance Logic IntW where
     | otherwise = constrained $ \ x ->
                     [ x `satisfies` notMemberSpec [0] | 0  `notElem` es ] ++
                     [ Assert $ 0 <=. x                | -1 `notElem` es ] ++
-                    [ Assert $ x <=. x                | 1  `notElem` es ]
+                    [ Assert $ x <=. 0                | 1  `notElem` es ]
 
   rewriteRules AddW (x :> y :> Nil) _ | x == y = Just $ 2 * x
   rewriteRules _ _ _ = Nothing

src/Constrained/Test.hs

@@ -398,11 +398,15 @@ instance QC.Arbitrary TestableFn where
       , TestableFn $ NegateW @Int
       , TestableFn $ MultW @Int
       , TestableFn $ MultW @Integer
+      , TestableFn $ SignumW @Integer
       -- These are representative of the bounded types
       , TestableFn $ MultW @Word8
+      , TestableFn $ SignumW @Word8
       , TestableFn $ MultW @Int8
       , TestableFn $ MultW @Float
+      , TestableFn $ SignumW @Float
       , TestableFn $ MultW @Double
+      , TestableFn $ SignumW @Double
       , TestableFn $ SizeOfW @(Map Int Int)
       , -- data BaseW
         TestableFn $ EqualW @Int