diff options
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" |