return error on undefined opers in instance and resource

This commit is contained in:
aarne
2008-10-03 16:16:45 +00:00
parent 4bfd3f91cf
commit 4b707dbf01
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