diff options
Diffstat (limited to 'src/GF/Grammar/Macros.hs')
| -rw-r--r-- | src/GF/Grammar/Macros.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/Grammar/Macros.hs b/src/GF/Grammar/Macros.hs index 7a48e7c3a..58c449901 100644 --- a/src/GF/Grammar/Macros.hs +++ b/src/GF/Grammar/Macros.hs @@ -307,6 +307,9 @@ isTypeInts ty = case ty of constPredefRes :: String -> Term constPredefRes s = Q (IC "Predef") (zIdent s) +constPredefAbs :: String -> Term +constPredefAbs s = Q (IC "Predef") (zIdent s) + isPredefConstant :: Term -> Bool isPredefConstant t = case t of Q (IC "Predef") _ -> True |