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