diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T17687.hs')
-rw-r--r-- | testsuite/tests/dependent/should_fail/T17687.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_fail/T17687.hs b/testsuite/tests/dependent/should_fail/T17687.hs new file mode 100644 index 0000000000..b47363929e --- /dev/null +++ b/testsuite/tests/dependent/should_fail/T17687.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE ScopedTypeVariables #-} + +module T17687 where + +x :: forall a -> a -> a +x = x |