@@ -25,9 +25,8 @@ module Language.PureScript.Sugar.TypeDeclarations (
25#if __GLASGOW_HASKELL__ < 710
25#if __GLASGOW_HASKELL__ < 710
26import Control.Applicative
26import Control.Applicative
28−import Control.Monad (forM, when)
28+import Control.Monad (forM)
29import Control.Monad.Error.Class (MonadError(..))
29import Control.Monad.Error.Class (MonadError(..))
30−import Control.Monad.Writer.Class (MonadWriter(tell))
32import Language.PureScript.AST
31import Language.PureScript.AST
33import Language.PureScript.Names
32import Language.PureScript.Names
@@ -38,7 +37,7 @@ import Language.PureScript.Traversals
39-- Replace all top level type declarations in a module with type annotations
38-- Replace all top level type declarations in a module with type annotations
41−desugarTypeDeclarationsModule :: forall m. (Functor m, Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => [Module] -> m [Module]
40+desugarTypeDeclarationsModule :: forall m. (Functor m, Applicative m, MonadError MultipleErrors m) => [Module] -> m [Module]
42desugarTypeDeclarationsModule ms = forM ms $ \(Module ss coms name ds exps) ->
41desugarTypeDeclarationsModule ms = forM ms $ \(Module ss coms name ds exps) ->
43 rethrow (addHint (ErrorInModule name)) $
42 rethrow (addHint (ErrorInModule name)) $
44 Module ss coms name <$> desugarTypeDeclarations ds <*> pure exps
43 Module ss coms name <$> desugarTypeDeclarations ds <*> pure exps