Tons of error message wibbles
[ghc.git] / testsuite / tests / indexed-types / should_fail / GADTwrong1.stderr
index a90b09d..9c5465f 100644 (file)
@@ -1,18 +1,18 @@
 
 GADTwrong1.hs:12:19:
-    Could not deduce (b ~ a1)
+    Could not deduce (a1 ~ b)
     from the context (() ~ Const a1)
       bound by a pattern with constructor
                  T :: forall a. a -> T (Const a),
                in a case alternative
       at GADTwrong1.hs:12:12-14
-      `b' is a rigid type variable bound by
-          the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
       `a1' is a rigid type variable bound by
            a pattern with constructor
              T :: forall a. a -> T (Const a),
            in a case alternative
            at GADTwrong1.hs:12:12
+      `b' is a rigid type variable bound by
+          the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
     Relevant bindings include
       coerce :: a -> b (bound at GADTwrong1.hs:11:1)
       y :: a1 (bound at GADTwrong1.hs:12:14)