diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T17567StupidTheta.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T17567StupidTheta.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T17567StupidTheta.hs b/testsuite/tests/typecheck/should_fail/T17567StupidTheta.hs new file mode 100644 index 0000000000..a023c0f7f8 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T17567StupidTheta.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE QuantifiedConstraints, DatatypeContexts, PolyKinds #-} +-- NB: This actually works with -XNoPolyKinds, due to defaulting. + +module T17567StupidTheta where + +data (forall a. a b ~ a c) => T b c |