summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T14232.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T14232.hs')
-rw-r--r--testsuite/tests/typecheck/should_fail/T14232.hs4
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T14232.hs b/testsuite/tests/typecheck/should_fail/T14232.hs
new file mode 100644
index 0000000000..79da2cc7b5
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T14232.hs
@@ -0,0 +1,4 @@
+module T14232 where
+
+f :: (String -> a) String -> a
+f g s = g s