@@ -250,9 +250,10 @@ typeCheckModule _ (Module _ _ Nothing) = error "exports should have been elabora
250typeCheckModule mainModuleName (Module mn decls (Just exps)) = do
250typeCheckModule mainModuleName (Module mn decls (Just exps)) = do
251 modify (\s -> s { checkCurrentModule = Just mn })
251 modify (\s -> s { checkCurrentModule = Just mn })
252 decls' <- typeCheckAll mainModuleName mn exps decls
252 decls' <- typeCheckAll mainModuleName mn exps decls
253+ forM_ exps $ \e -> do
253− forM_ exps checkTypesAreExported
254+ checkTypesAreExported e
254− forM_ exps checkClassMembersAreExported
255+ checkClassMembersAreExported e
255− forM_ exps checkClassesAreExported
256+ checkClassesAreExported e
256 return $ Module mn decls' (Just exps)
257 return $ Module mn decls' (Just exps)