git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Another missing constraint for 7.8
d84e2c1U-CIQDEV\gbazerman
src/Language/PureScript/TypeChecker/Deriving.hs+1−1
compare with golang
unifiedsplit
@@ -35,7 +35,7 @@ import Language.PureScript.Names
35import Language.PureScript.TypeChecker.Monad
35import Language.PureScript.TypeChecker.Monad
36import Language.PureScript.Types
36import Language.PureScript.Types
37
37
38−elaborateInstance :: (MonadState CheckState m, MonadError MultipleErrors m) => Expr -> m Expr
38+elaborateInstance :: (Functor m, MonadState CheckState m, MonadError MultipleErrors m) => Expr -> m Expr
39elaborateInstance (TypeClassInstanceMemberFunction funName className t) =
39elaborateInstance (TypeClassInstanceMemberFunction funName className t) =
40 fromMaybe noInstanceError $ lookup (unQualify className, funName) derivingList
40 fromMaybe noInstanceError $ lookup (unQualify className, funName) derivingList
41 where noInstanceError = throwError $ MultipleErrors [ErrorInInstance className [TypeConstructor t] (SimpleErrorWrapper $ MissingClassMember funName)]
41 where noInstanceError = throwError $ MultipleErrors [ErrorInInstance className [TypeConstructor t] (SimpleErrorWrapper $ MissingClassMember funName)]