@@ -38,7 +38,7 @@ import Language.PureScript.Sugar.Names.Env
3838
3939-- Finds the imports within a module, mapping the imported module name to an optional set of
4040-- explicitly imported declarations.
41−findImports :: forall m. (MonadError MultipleErrors m, MonadWriter MultipleErrors m) => [Declaration] -> m (M.Map ModuleName [(Maybe SourceSpan, ImportDeclarationType, Maybe ModuleName)])
41+findImports :: forall m. (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => [Declaration] -> m (M.Map ModuleName [(Maybe SourceSpan, ImportDeclarationType, Maybe ModuleName)])
4242findImports = foldM (go Nothing) M.empty
4343 where
4444 go pos result (ImportDeclaration mn typ qual) = do
@@ -59,7 +59,7 @@ findImports = foldM (go Nothing) M.empty
5959-- |
6060-- Constructs a set of imports for a module.
6161--
62−resolveImports :: forall m. (MonadError MultipleErrors m, MonadWriter MultipleErrors m) => Env -> Module -> m Imports
62+resolveImports :: forall m. (Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => Env -> Module -> m Imports
6363resolveImports env (Module _ _ currentModule decls _) =
6464 censor (onErrorMessages (ErrorInModule currentModule)) $ do
6565 scope <- M.insert currentModule [(Nothing, Implicit, Nothing)] <$> findImports decls