Commit ab91b851 authored by niteria's avatar niteria

make accept for Make simplifyInstanceContexts deterministic

Making it deterministic changed some error messages and I
forgot to make accept. Relevant change: b58b0e18.
parent 402f201d
......@@ -5,7 +5,7 @@
Use :print or :force to determine these types
Relevant bindings include it :: t (bound at <interactive>:4:1)
These potential instances exist:
instance (Show a, Show b) => Show (Either a b)
instance (Show b, Show a) => Show (Either a b)
-- Defined in ‘Data.Either’
instance Show Ordering -- Defined in ‘GHC.Show’
instance Show Integer -- Defined in ‘GHC.Show’
......@@ -20,7 +20,7 @@
Use :print or :force to determine these types
Relevant bindings include it :: t (bound at <interactive>:6:1)
These potential instances exist:
instance (Show a, Show b) => Show (Either a b)
instance (Show b, Show a) => Show (Either a b)
-- Defined in ‘Data.Either’
instance Show Ordering -- Defined in ‘GHC.Show’
instance Show Integer -- Defined in ‘GHC.Show’
......
......@@ -3,7 +3,7 @@ T5095.hs:9:9: error:
• Overlapping instances for Eq a arising from a use of ‘==’
Matching instances:
instance [overlappable] Show a => Eq a -- Defined at T5095.hs:5:31
instance (Eq a, Eq b) => Eq (Either a b)
instance (Eq b, Eq a) => Eq (Either a b)
-- Defined in ‘Data.Either’
instance Eq Ordering -- Defined in ‘GHC.Classes’
...plus 24 others
......
......@@ -9,7 +9,7 @@ tcfail133.hs:68:7: error:
These potential instances exist:
instance Show Ordering -- Defined in ‘GHC.Show’
instance Show Integer -- Defined in ‘GHC.Show’
instance (Show a, Show b, Number a, Digit b) => Show (a :@ b)
instance (Show b, Show a, Digit b, Number a) => Show (a :@ b)
-- Defined at tcfail133.hs:11:54
...plus 25 others
...plus five instances involving out-of-scope types
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment