From 21aa3cfa17baf0cd6c0dd49aaa45cab8e2a4ad2c Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 5 Oct 2008 15:21:08 +0000 Subject: forced checking def definitions; accept pgf with no concretes --- src/GF/Compile/CheckGrammar.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/Compile/CheckGrammar.hs') diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index d63ce7258..c93788cd2 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -139,7 +139,8 @@ checkAbsInfo st m mo (c,info) = do md' <- case md of Yes d -> do let d' = elimTables d - mkCheckWarn "definition of function" $ checkEquation st (m,c) d' +---- mkCheckWarn "definition of function" $ checkEquation st (m,c) d' + mkCheck "definition of function" $ checkEquation st (m,c) d' return $ Yes d' _ -> return md return $ (c,AbsFun (Yes typ) md') -- cgit v1.2.3