1912dfe · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

on golang help sign in

GHC <= 7.10

1912dfePhil Freeman11 years ago

src/Language/PureScript/Errors.hs+1−1

@@ -944,7 +944,7 @@ renderBox = unlines . map trimEnd . lines . Box.render

944rethrow :: (MonadError e m) => (e -> e) -> m a -> m a

945rethrow f = flip catchError $ \e -> throwError (f e)

946

947−reifyErrors :: (MonadError e m) => m a -> m (Either e a)

947+reifyErrors :: (Functor m, MonadError e m) => m a -> m (Either e a)

948reifyErrors ma = catchError (fmap Right ma) (return . Left)

949

950reflectErrors :: (MonadError e m) => m (Either e a) -> m a

src/Language/PureScript/TypeChecker/Monad.hs+2−2

@@ -211,14 +211,14 @@ freshDictionaryName = do

211

212-- | Run a computation in the substitution monad, generating a return value and the final substitution.

213liftUnify ::

214− (MonadState CheckState m, MonadWriter MultipleErrors m, MonadError MultipleErrors m) =>

214+ (Functor m, MonadState CheckState m, MonadWriter MultipleErrors m, MonadError MultipleErrors m) =>

215 m a ->

216 m (a, Substitution)

217liftUnify = liftUnifyWarnings (const id)

218

219-- | Run a computation in the substitution monad, generating a return value, the final substitution and updating warnings values.

220liftUnifyWarnings ::

221− (MonadState CheckState m, MonadWriter MultipleErrors m, MonadError MultipleErrors m) =>

221+ (Functor m, MonadState CheckState m, MonadWriter MultipleErrors m, MonadError MultipleErrors m) =>

222 (Substitution -> ErrorMessage -> ErrorMessage) ->

223 m a ->

224 m (a, Substitution)