diff options
Diffstat (limited to 'src/GF/Compile/ModDeps.hs')
| -rw-r--r-- | src/GF/Compile/ModDeps.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/GF/Compile/ModDeps.hs b/src/GF/Compile/ModDeps.hs index 10f2e012e..7e65239e4 100644 --- a/src/GF/Compile/ModDeps.hs +++ b/src/GF/Compile/ModDeps.hs @@ -9,7 +9,7 @@ -- > CVS $Author $ -- > CVS $Revision $ -- --- (Description of the module) +-- Check correctness of module dependencies. Incomplete. ----------------------------------------------------------------------------- module ModDeps where @@ -81,8 +81,8 @@ moduleDeps ms = mapM deps ms where chDep it es ety os oty = do ests <- mapM (lookupModuleType gr) es testErr (all (compatMType ety) ests) "inappropriate extension module type" - osts <- mapM (lookupModuleType gr . openedModule) os - testErr (all (compatOType oty) osts) "inappropriate open module type" +---- osts <- mapM (lookupModuleType gr . openedModule) os +---- testErr (all (compatOType oty) osts) "inappropriate open module type" let ab = case it of IdentM _ (MTConcrete a) -> [IdentM a MTAbstract] _ -> [] ---- |