From 7551c70db6c76a796e93fa1cd4ebe7c850344b7e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sun, 16 Dec 2007 22:24:36 +0000
Subject: restored Int size and last ; added lib/prelude to be the last in any
 grammar path

---
 src/GF/Compile/CheckGrammar.hs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'src/GF/Compile/CheckGrammar.hs')

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
-- 
cgit v1.2.3