A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail018.stderr
index 57060a8..d5594c7 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail018.hs:5:10: error:
-    • No instance for (Num [t0]) arising from the literal ‘1’
+    • No instance for (Num [a0]) arising from the literal ‘1’
     • In the expression: 1
       In a pattern binding: (a : []) = 1