diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail184.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail184.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail184.hs b/testsuite/tests/typecheck/should_fail/tcfail184.hs new file mode 100644 index 0000000000..210a9c7c9b --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail184.hs @@ -0,0 +1,8 @@ + +{-# OPTIONS_GHC -XScopedTypeVariables #-} +-- We don't actually want scoped type variables, but this flag makes the +-- forall be recognised by the parser + +module ShouldCompile where + +newtype Swizzle = MkSwizzle (forall a. Ord a => [a] -> [a]) |