GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-21 09:02:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

forced checking def definitions; accept pgf with no concretes

Browse Source
This commit is contained in:
aarne
2008-10-05 15:21:08 +00:00
parent 16a1a48874
commit be9ff0cbca
3 changed files with 7 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/GF/Compile/CheckGrammar.hs
View File

@@ -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')