make accept for Make simplifyInstanceContexts deterministic
authorBartosz Nitka <niteria@gmail.com>
Tue, 10 May 2016 14:56:06 +0000 (07:56 -0700)
committerBartosz Nitka <niteria@gmail.com>
Tue, 10 May 2016 14:56:06 +0000 (07:56 -0700)
Making it deterministic changed some error messages and I
forgot to make accept. Relevant change: b58b0e18a568.

testsuite/tests/ghci.debugger/scripts/break006.stderr
testsuite/tests/typecheck/should_fail/T5095.stderr
testsuite/tests/typecheck/should_fail/tcfail133.stderr

index 2b43dff..463b66f 100644 (file)
@@ -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’
index dcde111..dc10d40 100644 (file)
@@ -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
index 72dc14e..a2b602c 100644 (file)
@@ -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