diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-11-15 16:49:20 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-11-15 16:49:20 +0000 |
| commit | 43eb40a688bc0747d99bb8a9da7d17610fb7969e (patch) | |
| tree | 60a508bfeff03476f24c26c4d263665f545190b1 /src/GF | |
| parent | 504bdedcc3eb709b3cd57b2fb39c28b64e9ba327 (diff) | |
dealing with Ints n in GrammarToGFCC
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Devel/GrammarToGFCC.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |