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-3.0/GF/Compile/CheckGrammar.hs | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) (limited to 'src-3.0/GF/Compile') diff --git a/src-3.0/GF/Compile/CheckGrammar.hs b/src-3.0/GF/Compile/CheckGrammar.hs index a474637f4..e47496e97 100644 --- a/src-3.0/GF/Compile/CheckGrammar.hs +++ b/src-3.0/GF/Compile/CheckGrammar.hs @@ -336,9 +336,7 @@ computeLType gr t = do where comp ty = case ty of _ | Just _ <- isTypeInts ty -> return ty ---- shouldn't be needed - | ty == typeInt -> return ty ---- shouldn't be needed - | ty == typeFloat -> return ty ---- shouldn't be needed - | ty == typeError -> return ty ---- shouldn't be needed + | isPredefConstant ty -> return ty ---- shouldn't be needed Q m ident -> checkIn ("module" +++ prt m) $ do ty' <- checkErr (lookupResDef gr m ident) @@ -409,14 +407,6 @@ inferLType gr trm = case trm of , checkErr (lookupResDef gr m ident) >>= infer , -{- - do - over <- getOverload gr Nothing trm - case over of - Just trty -> return trty - _ -> prtFail "not overloaded" trm - , --} prtFail "cannot infer type of constant" trm ] -- cgit v1.2.3