msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out)

Browse Source
This commit is contained in:
aarne
2007-10-21 10:01:14 +00:00
parent bc2cac719b
commit a9472f91e5
4 changed files with 43 additions and 35 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/GF/Compile/CheckGrammar.hs
View File

@@ -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