diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-05-29 16:16:19 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-05-29 16:16:19 +0000 |
| commit | 2505bfc892ed4b2c7f5444be0c8295de121f84b0 (patch) | |
| tree | d9d00d6a547d42e699ab008a0fca5a0180109497 /src/GF | |
| parent | 96bdd18dc3822acf307129bc8348ba7ace563807 (diff) | |
fixing number of interrogatives in English Structural
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Grammar/AppPredefined.hs | 2 | ||||
| -rw-r--r-- | src/GF/Grammar/Macros.hs | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/GF/Grammar/AppPredefined.hs b/src/GF/Grammar/AppPredefined.hs index fa0048c80..530184c3e 100644 --- a/src/GF/Grammar/AppPredefined.hs +++ b/src/GF/Grammar/AppPredefined.hs @@ -30,7 +30,7 @@ isInPredefined = err (const True) (const False) . typPredefined typPredefined :: Ident -> Err Type typPredefined c@(IC f) = case f of "Int" -> return typePType - "Float" -> return typePType + "Float" -> return typeType "Error" -> return typeType "Ints" -> return $ mkFunType [cnPredef "Int"] typePType "PBool" -> return typePType 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 |