From a9472f91e571d0215c7db408c98b7514b3644ca9 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 21 Oct 2007 10:01:14 +0000 Subject: the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out) --- src/GF/Compile/CheckGrammar.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/GF/Compile') diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 94b2955cb..8d85f847a 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -311,10 +311,10 @@ computeLType gr t = do Q m c | elem c [cPredef,cPredefAbs] -> return ty Q m c | elem c [zIdent "Int"] -> - let ints k = App (Q (IC "Predef") (IC "Ints")) (EInt k) in - return $ - RecType [ - (LIdent "s", typeStr), (LIdent "last",ints 9),(LIdent "size",ints 1)] + 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)] Q m c | elem c [zIdent "Float",zIdent "String"] -> return defLinType ---- Q m ident -> checkIn ("module" +++ prt m) $ do -- cgit v1.2.3