Constraints
commitfe69c1ce69bcdc676055b39d19af3a72e1280964
authorPhil Freeman <paf31@cantab.net>
dateThu 5 Nov 2015, 11:50 (11 years ago)
parentae84a66
src/Language/PureScript/TypeChecker/Entailment.hs+1−1
@@ -47,7 +47,7 @@ import qualified Language.PureScript.Constants as C
4747-- return a type class dictionary reference.
4848--
4949entails :: forall m.
50− (MonadError MultipleErrors m, MonadWriter MultipleErrors m) =>
50+ (Functor m, Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) =>
5151 ModuleName ->
5252 M.Map (Maybe ModuleName) (M.Map (Qualified ProperName) (M.Map (Qualified Ident) TypeClassDictionaryInScope)) ->
5353 Constraint ->