diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-04-04 14:44:46 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-04-04 14:44:46 +0000 |
| commit | a42a232c5756593e0681598f940c84f555af09d8 (patch) | |
| tree | 3dfb280723073111c41469754f26c39726a10aad /src/GF/Grammar | |
| parent | c437f63404dc0a4fdb42cd6eff661b071d3fca1d (diff) | |
inherent features of Int
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/Lookup.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/GF/Grammar/Lookup.hs b/src/GF/Grammar/Lookup.hs index 6c6f13611..a80217cd6 100644 --- a/src/GF/Grammar/Lookup.hs +++ b/src/GF/Grammar/Lookup.hs @@ -158,7 +158,12 @@ 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 "String", zIdent "Int", zIdent "Float"] = +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"] = return defLinType --- ad hoc; not needed? lookupLincat gr m c = do |