Test Trac #7869

1 files changed, 28 insertions, 0 deletions

diff --git a/testsuite/tests/typecheck/should_fail/T7869.stderr b/testsuite/tests/typecheck/should_fail/T7869.stderr
new file mode 100644
index 0000000000..bdf814e78d
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T7869.stderr
@@ -0,0 +1,28 @@
+
+T7869.hs:3:12:
+    Couldn't match type ‛b’ with ‛b1’
+      because type variable ‛b1’ would escape its scope
+    This (rigid, skolem) type variable is bound by
+      an expression type signature: [a1] -> b1
+      at T7869.hs:3:5-27
+    Expected type: [a1] -> b1
+      Actual type: [a] -> b
+    Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)
+    In the expression: f x
+    In the expression: (\ x -> f x) :: [a] -> b
+    In an equation for ‛f’: f = (\ x -> f x) :: [a] -> b
+
+T7869.hs:3:12:
+    Couldn't match type ‛a’ with ‛a1’
+      because type variable ‛a1’ would escape its scope
+    This (rigid, skolem) type variable is bound by
+      an expression type signature: [a1] -> b1
+      at T7869.hs:3:5-27
+    Expected type: [a1] -> b1
+      Actual type: [a] -> b
+    Relevant bindings include
+      f :: [a] -> b (bound at T7869.hs:3:1)
+      x :: [a1] (bound at T7869.hs:3:7)
+    In the expression: f x
+    In the expression: (\ x -> f x) :: [a] -> b
+    In an equation for ‛f’: f = (\ x -> f x) :: [a] -> b