Commits

Aleksey Khudyakov committed 501215e

Fix warn ings

  • Participants
  • Parent commits bf9e1fc

Comments (0)

Files changed (2)

TypeLevel/Number/Int.hs

 
 
 instance                Show    ZZ  where show _ = "[0:Z]"
-instance IntT (Dn n) => Show (Dn n) where show n = "["++show (toInt n)++":Z]"
-instance IntT (D0 n) => Show (D0 n) where show n = "["++show (toInt n)++":Z]"
-instance IntT (D1 n) => Show (D1 n) where show n = "["++show (toInt n)++":Z]"
+instance IntT (Dn n) => Show (Dn n) where show n = "["++show (toInt n :: Integer)++":Z]"
+instance IntT (D0 n) => Show (D0 n) where show n = "["++show (toInt n :: Integer)++":Z]"
+instance IntT (D1 n) => Show (D1 n) where show n = "["++show (toInt n :: Integer)++":Z]"
 
 ----------------------------------------------------------------
 -- Number normalization

TypeLevel/Number/Nat.hs

 -- Show instances.
 -- Nat contexts are used to ensure correctness of numbers.
 instance              Show    Z  where show _ = "[0:N]"
-instance Nat (O n) => Show (O n) where show n = "["++show (toInt n)++":N]"
-instance Nat (I n) => Show (I n) where show n = "["++show (toInt n)++":N]"
+instance Nat (O n) => Show (O n) where show n = "["++show (toInt n :: Integer)++":N]"
+instance Nat (I n) => Show (I n) where show n = "["++show (toInt n :: Integer)++":N]"
 
 ----------------------------------------------------------------
 -- Next number.