Output of T7861 has changed
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 28 Nov 2013 11:50:40 +0000 (11:50 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 28 Nov 2013 11:50:40 +0000 (11:50 +0000)
testsuite/tests/typecheck/should_run/T7861.stderr

index e44666d..4f2b623 100644 (file)
@@ -1,9 +1,9 @@
 T7861: T7861.hs:11:5:
-    Couldn't match type ‛a’ with ‛[a0]’
+    Couldn't match type ‛a’ with ‛[a]’
       ‛a’ is a rigid type variable bound by
           the type signature for f :: A a -> a at T7861.hs:10:6
     Expected type: A a -> a
-      Actual type: A a0 -> [a0]
+      Actual type: A a -> [a]
     Relevant bindings include f :: A a -> a (bound at T7861.hs:11:1)
     In the expression: doA
     In an equation for ‛f’: f = doA