diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-16 22:24:36 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-16 22:24:36 +0000 |
| commit | 7551c70db6c76a796e93fa1cd4ebe7c850344b7e (patch) | |
| tree | 9a473d9fc972ac26b7a9bed00673609f47c18193 /src/GF/Compile/CheckGrammar.hs | |
| parent | 49b3ffb7a0ba176a6689d7792ad42cdd2f17adee (diff) | |
restored Int size and last ; added lib/prelude to be the last in any grammar path
Diffstat (limited to 'src/GF/Compile/CheckGrammar.hs')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 302663baf..81ac891ad 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -340,10 +340,7 @@ computeLType gr t = do Q m c | elem c [cPredef,cPredefAbs] -> return ty Q m c | elem c [zIdent "Int"] -> - return $ defLinType ----- let ints k = App (Q (IC "Predef") (IC "Ints")) (EInt k) in ----- RecType [ ----- (LIdent "last",ints 9),(LIdent "s", typeStr), (LIdent "size",ints 1)] + return $ linTypeInt Q m c | elem c [zIdent "Float",zIdent "String"] -> return defLinType ---- Q m ident -> checkIn ("module" +++ prt m) $ do |