summaryrefslogtreecommitdiff
path: root/src/GF/Compile/CheckGrammar.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-10-03 16:16:45 +0000
committeraarne <aarne@cs.chalmers.se>2008-10-03 16:16:45 +0000
commit4c08128503d5a097a6980e6a25481bf257f4eee7 (patch)
tree3d1912a759ea098f31c5e482a817b7bac2f984cf /src/GF/Compile/CheckGrammar.hs
parent5bc73e10bc5615346e1d17c1d1d73e4e2e656516 (diff)
return error on undefined opers in instance and resource
Diffstat (limited to 'src/GF/Compile/CheckGrammar.hs')
-rw-r--r--src/GF/Compile/CheckGrammar.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index fc36f144a..e485e8957 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -84,7 +84,7 @@ checkModule ms (name,mod) = checkIn ("checking module" +++ prt name) $ case mod
MTInterface -> mapsCheckTree (checkResInfo gr name mo) js
MTInstance a -> do
- ModMod abs <- checkErr $ lookupModule gr a
+ -- ModMod abs <- checkErr $ lookupModule gr a
-- checkCompleteInstance abs mo -- this is done in Rebuild
mapsCheckTree (checkResInfo gr name mo) js
@@ -241,8 +241,8 @@ checkResInfo gr mo mm (c,info) = do
(de',ty') <- infer de
return (Yes ty', Yes de')
(_,Nope) -> do
- checkWarn "No definition given to oper"
- return (pty,pde)
+ raise "No definition given to oper"
+ --return (pty,pde)
_ -> return (pty, pde) --- other cases are uninteresting
return (c, ResOper pty' pde')