diff options
| author | aarne <unknown> | 2003-11-07 14:54:44 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-07 14:54:44 +0000 |
| commit | 4c99687f217ce258f821d55e68f5403233f6dea7 (patch) | |
| tree | 04e2d94654dd4ceb4c5e988f18f979594876c730 /src/GF/Grammar/Values.hs | |
| parent | 6ae3322b373c52e59fb34360345d1c1e35049c5f (diff) | |
Fixed treatment of predefined types (Int, String).
Fixed treatment of predefined types (Int, String).
Added treatment of new reserved words to reading old grammars.
Diffstat (limited to 'src/GF/Grammar/Values.hs')
| -rw-r--r-- | src/GF/Grammar/Values.hs | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/GF/Grammar/Values.hs b/src/GF/Grammar/Values.hs index 9df2fc13e..4d787488d 100644 --- a/src/GF/Grammar/Values.hs +++ b/src/GF/Grammar/Values.hs @@ -31,11 +31,18 @@ type MetaSubst = [(MetaSymb,Val)] -- for TC +valAbsInt, valAbsString :: Val +valAbsInt = VCn (cPredefAbs, cInt) +valAbsString = VCn (cPredefAbs, cString) + vType :: Val vType = VType -cType :: Ident +cType,cPredefAbs,cInt,cString :: Ident cType = identC "Type" --- #0 +cPredefAbs = identC "PredefAbs" +cInt = identC "Int" +cString = identC "String" eType :: Exp eType = Sort "Type" |