summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/Interact.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Tc/Solver/Interact.hs')
-rw-r--r--compiler/GHC/Tc/Solver/Interact.hs17
1 files changed, 10 insertions, 7 deletions
diff --git a/compiler/GHC/Tc/Solver/Interact.hs b/compiler/GHC/Tc/Solver/Interact.hs
index 57bca5fcec..fe349866d2 100644
--- a/compiler/GHC/Tc/Solver/Interact.hs
+++ b/compiler/GHC/Tc/Solver/Interact.hs
@@ -939,7 +939,7 @@ can change the behavior of the user's code.
The following four modules produce a program whose output would change depending
on whether we apply this optimization when IncoherentInstances is in effect:
-#########
+=========
{-# LANGUAGE MultiParamTypeClasses #-}
module A where
@@ -949,8 +949,9 @@ on whether we apply this optimization when IncoherentInstances is in effect:
class A a => C a b where
m :: b -> a -> a
-#########
- {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
+=========
+ {-# LANGUAGE FlexibleInstances #-}
+ {-# LANGUAGE MultiParamTypeClasses #-}
module B where
import A
@@ -961,9 +962,11 @@ on whether we apply this optimization when IncoherentInstances is in effect:
instance C a [b] where
m _ = id
-#########
- {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, FlexibleContexts #-}
- {-# LANGUAGE IncoherentInstances #-}
+=========
+ {-# LANGUAGE FlexibleContexts #-}
+ {-# LANGUAGE FlexibleInstances #-}
+ {-# LANGUAGE IncoherentInstances #-}
+ {-# LANGUAGE MultiParamTypeClasses #-}
module C where
import A
@@ -977,7 +980,7 @@ on whether we apply this optimization when IncoherentInstances is in effect:
intC :: C Int a => a -> Int -> Int
intC _ x = int x
-#########
+=========
module Main where
import A