diff options
Diffstat (limited to 'src/GF/Grammar/Macros.hs')
| -rw-r--r-- | src/GF/Grammar/Macros.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/GF/Grammar/Macros.hs b/src/GF/Grammar/Macros.hs index f11b9bbe9..8b9f825b5 100644 --- a/src/GF/Grammar/Macros.hs +++ b/src/GF/Grammar/Macros.hs @@ -273,6 +273,10 @@ typeString = constPredefRes "String" typeInt = constPredefRes "Int" typeInts i = App (constPredefRes "Ints") (EInt i) +isTypeInts ty = case ty of + App c _ -> c == constPredefRes "Ints" + _ -> False + constPredefRes s = Q (IC "Predef") (zIdent s) isPredefConstant t = case t of |