@@ -121,10 +121,10 @@ typeCheckAll (ImportDeclaration modulePath idents : rest) = do
121 env <- getEnv
121 env <- getEnv
122 omp <- checkModulePath `fmap` get
122 omp <- checkModulePath `fmap` get
123 rethrow errorMessage $ do
123 rethrow errorMessage $ do
124− guardWith "module does not exist" $ moduleExists env
124+ guardWith "module does not exist" $ moduleExists env
125− case idents of
125+ case idents of
126− Nothing -> bindIdents (map snd $ filterModule env) omp env
126+ Nothing -> bindIdents (map snd $ filterModule env) omp env
127− Just idents -> bindIdents idents omp env
127+ Just idents -> bindIdents idents omp env
128 typeCheckAll rest
128 typeCheckAll rest
129 where errorMessage = (("Error importing " ++ show modulePath ++ ": ") ++)
129 where errorMessage = (("Error importing " ++ show modulePath ++ ": ") ++)
130 filterModule env = filter (\(m, _) -> m == modulePath) (M.keys (names env))
130 filterModule env = filter (\(m, _) -> m == modulePath) (M.keys (names env))