diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7524.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7524.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/polykinds/T7524.stderr b/testsuite/tests/polykinds/T7524.stderr index 83b355e312..2340ce1aa6 100644 --- a/testsuite/tests/polykinds/T7524.stderr +++ b/testsuite/tests/polykinds/T7524.stderr @@ -1,6 +1,6 @@ -
-T7524.hs:5:15:
- Conflicting family instance declarations:
- forall (k :: BOX) (a :: k). F a a = Int -- Defined at T7524.hs:5:15
- forall (k :: BOX) (k1 :: BOX) (a :: k) (b :: k1).
- F a b = Bool -- Defined at T7524.hs:6:15
+ +T7524.hs:5:15: error: + Conflicting family instance declarations: + forall k2 (a :: k2). F a a = Int -- Defined at T7524.hs:5:15 + forall k2 k1 (a :: k1) (b :: k2). + F a b = Bool -- Defined at T7524.hs:6:15 |