diff options
| author | krasimir <krasimir@chalmers.se> | 2009-12-11 17:39:18 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-12-11 17:39:18 +0000 |
| commit | 5804db98167c118f910a3b76d42b2566ed347d51 (patch) | |
| tree | 2f600e860e6df496f87e1d1d625720ab63497e49 /src/PGF/Macros.hs | |
| parent | 3353059277c40eebe52b0479e7c230ff76d1d1d0 (diff) | |
judgements lindef are now respected by both the parser and the linearizer
Diffstat (limited to 'src/PGF/Macros.hs')
| -rw-r--r-- | src/PGF/Macros.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/PGF/Macros.hs b/src/PGF/Macros.hs index 604f3c35d..839c781e3 100644 --- a/src/PGF/Macros.hs +++ b/src/PGF/Macros.hs @@ -146,8 +146,9 @@ combinations t = case t of aa:uu -> [a:u | a <- aa, u <- combinations uu] isLiteralCat :: CId -> Bool -isLiteralCat = (`elem` [cidString, cidFloat, cidInt]) +isLiteralCat = (`elem` [cidString, cidFloat, cidInt, cidVar]) cidString = mkCId "String" cidInt = mkCId "Int" cidFloat = mkCId "Float" +cidVar = mkCId "#Var" |