From 2505bfc892ed4b2c7f5444be0c8295de121f84b0 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 29 May 2008 16:16:19 +0000 Subject: fixing number of interrogatives in English Structural --- src/GF/Grammar/AppPredefined.hs | 2 +- src/GF/Grammar/Macros.hs | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3