1
0
forked from GitHub/gf-core

return error on undefined opers in instance and resource

This commit is contained in:
aarne
2008-10-03 16:16:45 +00:00
parent 5bc73e10bc
commit 4c08128503
2 changed files with 4 additions and 3 deletions

View File

@@ -60,6 +60,7 @@ rebuildModule ms mo@(i,mi) = do
{positions =
buildTree (tree2list (positions m1) ++
tree2list (positions m))}
-- checkCompleteInstance m1 m'
return $ ModMod m'
_ -> return mi