Tons of error message wibbles
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail179.stderr
index c60c7ac..ed0325a 100644 (file)
@@ -1,13 +1,13 @@
 
 tcfail179.hs:14:39:
     Couldn't match expected type `s' with actual type `x'
-      `s' is a rigid type variable bound by
-          the type signature for run :: T s -> Int at tcfail179.hs:12:8
       `x' is a rigid type variable bound by
           a pattern with constructor
             T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,
           in a case alternative
           at tcfail179.hs:14:14
+      `s' is a rigid type variable bound by
+          the type signature for run :: T s -> Int at tcfail179.hs:12:8
     Relevant bindings include
       run :: T s -> Int (bound at tcfail179.hs:13:1)
       ts :: T s (bound at tcfail179.hs:13:5)