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/Grammar/Lookup.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/GF/Grammar') diff --git a/src/GF/Grammar/Lookup.hs b/src/GF/Grammar/Lookup.hs index 01f6c20a1..a57793cd3 100644 --- a/src/GF/Grammar/Lookup.hs +++ b/src/GF/Grammar/Lookup.hs @@ -230,12 +230,14 @@ lookupAbsDef gr m c = errIn ("looking up absdef of" +++ prt c) $ do lookupLincat :: SourceGrammar -> Ident -> Ident -> Err Type +{- ---- lookupLincat gr 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)] -lookupLincat gr m c | elem c [zIdent "String", zIdent "Float"] = + (LIdent "last",ints 9),(LIdent "s", typeStr),(LIdent "size",ints 1)] +-} +lookupLincat gr m c | elem c [zIdent "String", zIdent "Float", zIdent "Int"] = return defLinType --- ad hoc; not needed? lookupLincat gr m c = do -- cgit v1.2.3