From 3afe18dc576bbb71b124126ebdf2a9155fe1fb8d Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 15 Mar 2009 17:33:14 +0000 Subject: code cleanup in the typechecker --- src/GF/Compile/CheckGrammar.hs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/GF/Compile/CheckGrammar.hs') diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 552bd4177..e128c3477 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -138,7 +138,6 @@ checkAbsInfo st m mo (c,info) = do where mkCheck cat ss = case ss of [] -> return (c,info) - ["[]"] -> return (c,info) ---- _ -> checkErr $ Bad (unlines ss ++++ "in" +++ cat +++ prt c +++ pos c) ---- temporary solution when tc of defs is incomplete mkCheckWarn cat ss = case ss of -- cgit v1.2.3