Tons of error message wibbles
[ghc.git] / testsuite / tests / polykinds / T6054.stderr
index 8270f4d..bc034d3 100644 (file)
@@ -2,8 +2,6 @@
 T6054.hs:7:14:
     No instance for (Bar () '() a0)
       arising from an expression type signature
-    The type variable `a0' is ambiguous
-    Possible fix: add a type signature that fixes these type variable(s)
     In the first argument of `print', namely
       `(Proxy :: Bar () a => Proxy a)'
     In the expression: print (Proxy :: Bar () a => Proxy a)