summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcCanonical.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/typecheck/TcCanonical.hs')
-rw-r--r--compiler/typecheck/TcCanonical.hs6
1 files changed, 2 insertions, 4 deletions
diff --git a/compiler/typecheck/TcCanonical.hs b/compiler/typecheck/TcCanonical.hs
index bbb29f5e38..941a6eab29 100644
--- a/compiler/typecheck/TcCanonical.hs
+++ b/compiler/typecheck/TcCanonical.hs
@@ -1,4 +1,5 @@
{-# LANGUAGE CPP #-}
+{-# LANGUAGE DeriveFunctor #-}
module TcCanonical(
canonicalize,
@@ -2198,10 +2199,7 @@ data StopOrContinue a
| Stop CtEvidence -- The (rewritten) constraint was solved
SDoc -- Tells how it was solved
-- Any new sub-goals have been put on the work list
-
-instance Functor StopOrContinue where
- fmap f (ContinueWith x) = ContinueWith (f x)
- fmap _ (Stop ev s) = Stop ev s
+ deriving (Functor)
instance Outputable a => Outputable (StopOrContinue a) where
ppr (Stop ev s) = text "Stop" <> parens s <+> ppr ev