Tons of error message wibbles
[ghc.git] / testsuite / tests / indexed-types / should_fail / T3440.stderr
index 55b021b..b9f49fa 100644 (file)
@@ -1,19 +1,19 @@
 
 T3440.hs:11:22:
-    Could not deduce (a ~ a1)
+    Could not deduce (a1 ~ a)
     from the context (Fam a ~ Fam a1)
       bound by a pattern with constructor
                  GADT :: forall a. a -> Fam a -> GADT (Fam a),
                in an equation for `unwrap'
       at T3440.hs:11:9-16
-      `a' is a rigid type variable bound by
-          the type signature for unwrap :: GADT (Fam a) -> (a, Fam a)
-          at T3440.hs:10:11
       `a1' is a rigid type variable bound by
            a pattern with constructor
              GADT :: forall a. a -> Fam a -> GADT (Fam a),
            in an equation for `unwrap'
            at T3440.hs:11:9
+      `a' is a rigid type variable bound by
+          the type signature for unwrap :: GADT (Fam a) -> (a, Fam a)
+          at T3440.hs:10:11
     Relevant bindings include
       unwrap :: GADT (Fam a) -> (a, Fam a) (bound at T3440.hs:11:1)
       x :: a1 (bound at T3440.hs:11:14)