diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-05 15:21:08 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-05 15:21:08 +0000 |
| commit | 21aa3cfa17baf0cd6c0dd49aaa45cab8e2a4ad2c (patch) | |
| tree | 4c9e1ed7d44a07389eead4797742fdefe1879bd5 /src/GF/Compile/CheckGrammar.hs | |
| parent | 24207d40e9cb56173de22d9a424975f0da0bc416 (diff) | |
forced checking def definitions; accept pgf with no concretes
Diffstat (limited to 'src/GF/Compile/CheckGrammar.hs')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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') |