diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-17 18:12:46 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-17 18:12:46 +0000 |
| commit | 27602f4f8291f4d6a8b4b7109caf321d16cb6c99 (patch) | |
| tree | 8e64b75d15c3b9f80c543466ad37aa5536a86f8c /src/GF/Grammar | |
| parent | 7551c70db6c76a796e93fa1cd4ebe7c850344b7e (diff) | |
took back smart type of Int ; Digits type in resource and some adjustments of Det syntax (not yet for romance and russian)
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/Lookup.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/GF/Grammar/Lookup.hs b/src/GF/Grammar/Lookup.hs index 481512751..81a62decf 100644 --- a/src/GF/Grammar/Lookup.hs +++ b/src/GF/Grammar/Lookup.hs @@ -231,10 +231,10 @@ lookupAbsDef gr m c = errIn ("looking up absdef of" +++ prt c) $ do _ -> Bad $ prt m +++ "is not an abstract module" linTypeInt :: Type -linTypeInt = - let ints k = App (Q (IC "Predef") (IC "Ints")) (EInt k) in - RecType [ - (LIdent "last",ints 9),(LIdent "s", typeStr), (LIdent "size",ints 1)] +linTypeInt = 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)] lookupLincat :: SourceGrammar -> Ident -> Ident -> Err Type lookupLincat gr m c | elem c [zIdent "Int"] = return linTypeInt |