fixing number of interrogatives in English Structural

This commit is contained in:
aarne
2008-05-29 16:16:19 +00:00
parent f116071ce5
commit a65be9ef42
5 changed files with 8 additions and 15 deletions

View File

@@ -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

View File

@@ -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