From 43eb40a688bc0747d99bb8a9da7d17610fb7969e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 15 Nov 2007 16:49:20 +0000
Subject: [PATCH] dealing with Ints n in GrammarToGFCC

---
 src/GF/Devel/GrammarToGFCC.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/GF/Devel/GrammarToGFCC.hs b/src/GF/Devel/GrammarToGFCC.hs
index eabc07375..8d7bd4960 100644
--- a/src/GF/Devel/GrammarToGFCC.hs
+++ b/src/GF/Devel/GrammarToGFCC.hs
@@ -164,6 +164,7 @@ mkCType t = case t of
     EInt i -> C.R $ replicate (1 + fromInteger i) $ mkCType vt
     RecType rs -> mkCType $ foldr Table vt (map snd rs) 
   Sort "Str"        -> C.S [] --- Str only
+  App (Q (IC "Predef") (IC "Ints")) (EInt i) -> C.C $ fromInteger i
   _ -> error  $ "mkCType " ++ show t
 
 -- encoding showable lincats (as in source gf) as terms