Commits

Aleksey Khudyakov committed 4419fa3

Same for integers

  • Participants
  • Parent commits 803211b

Comments (0)

Files changed (1)

File TypeLevel/Number/Int.hs

 
 -- | Generate type for integer number.
 intT :: Integer -> TypeQ
-intT = foldr appT [t| ZZ |] . map con . splitToTrits
+intT = foldr appT (conT ''ZZ) . map con . splitToTrits
   where
-    con (-1) = [t| Dn |]
-    con   0 = [t| D0 |]
-    con   1 = [t| D1 |]
-    con   x = error $ "Strange trit: " ++ show x
+    con (-1) = conT ''Dn
+    con   0  = conT ''D0
+    con   1  = conT ''D1
+    con   x  = error $ "Strange trit: " ++ show x
 
 ----------------------------------------------------------------
 --