fixing number of interrogatives in English Structural

1 files changed, 1 insertions, 11 deletions

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
      ]