A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / typecheck / should_fail / T3102.stderr
index 66979dd..e69de29 100644 (file)
@@ -1,12 +0,0 @@
-
-T3102.hs:11:12: error:
-    • Couldn't match type ‘a’ with ‘(?p::Int) => a0’
-      ‘a’ is a rigid type variable bound by
-        a type expected by the context:
-          forall a. a -> String
-        at T3102.hs:11:10-12
-      Expected type: a -> String
-        Actual type: ((?p::Int) => a0) -> String
-    • In the first argument of ‘f’, namely ‘t’
-      In the expression: f t
-      In an equation for ‘result’: result = f t