summaryrefslogtreecommitdiff
path: root/testsuite/tests/parser/should_compile/T15675.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/parser/should_compile/T15675.hs')
-rw-r--r--testsuite/tests/parser/should_compile/T15675.hs13
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/parser/should_compile/T15675.hs b/testsuite/tests/parser/should_compile/T15675.hs
new file mode 100644
index 0000000000..f5fe410370
--- /dev/null
+++ b/testsuite/tests/parser/should_compile/T15675.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE TypeOperators, MultiParamTypeClasses, ExistentialQuantification #-}
+
+module T15675 where
+
+class a + b
+
+data D1 = forall a b. (a + b) => D1 a b
+data D2 = forall a b. a + b => D2 a b
+
+class a ! b
+
+data D3 = forall a b. (a ! b) => D3 !a !b
+data D4 = forall a b. a ! b => D4 !a !b