Commits

Aleksey Khudyakov committed 6b219a2

Make tests buildable on GHC 7.6

Comments (0)

Files changed (2)

TypeLevel/Number/Int.hs

 
 type family   AddBit n :: *
 type instance AddBit    ZZ = ZZ
-type instance AddBit (a b) = D0 (a b)
+type instance AddBit (Dn a) = D0 (Dn a)
+type instance AddBit (D0 a) = D0 (D0 a)
+type instance AddBit (D1 a) = D0 (D1 a)
+
 
 type instance Normalized     ZZ = ZZ
 type instance Normalized (Dn n) = Dn     (Normalized n)
 
 main :: IO ()
 main = do
-  putStrLn $ unlines $(listE (testAddZ <$> [-27..27] <*> [-27..27]))
-  putStrLn $ unlines $(listE (testSubZ <$> [-27..27] <*> [-27..27]))
-  putStrLn $ unlines $(listE (testMulZ <$> [-27..27] <*> [-27..27]))
+  putStrLn $ unlines $(listE (testAddZ <$> [-9..9] <*> [-9..9]))
+  putStrLn $ unlines $(listE (testSubZ <$> [-9..9] <*> [-9..9]))
+  putStrLn $ unlines $(listE (testMulZ <$> [-9..9] <*> [-9..9]))