testsuite: Add failing testcase for #13233
authorBen Gamari <ben@smart-cactus.org>
Fri, 24 Mar 2017 02:53:29 +0000 (22:53 -0400)
committerBen Gamari <ben@smart-cactus.org>
Fri, 24 Mar 2017 14:14:26 +0000 (10:14 -0400)
Thanks to Ryan Scott for the example.

testsuite/tests/codeGen/should_compile/T13233.hs [new file with mode: 0644]
testsuite/tests/codeGen/should_compile/all.T

diff --git a/testsuite/tests/codeGen/should_compile/T13233.hs b/testsuite/tests/codeGen/should_compile/T13233.hs
new file mode 100644 (file)
index 0000000..bb79856
--- /dev/null
@@ -0,0 +1,12 @@
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeInType #-}
+{-# LANGUAGE UnboxedTuples #-}
+module Bug where
+
+import GHC.Exts (TYPE)
+
+class Foo (a :: TYPE rep) where
+  bar :: forall (b :: TYPE rep2). (a -> a -> b) -> a -> a -> b
+
+baz :: forall (a :: TYPE rep). Foo a => a -> a -> (# a, a #)
+baz = bar (#,#)
index 6ae4e1c..a73a9d6 100644 (file)
@@ -35,3 +35,4 @@ test('T10667', [ when((arch('powerpc64') or arch('powerpc64le')),
      compile, ['-g'])
 test('T12115', normal, compile, [''])
 test('T12355', normal, compile, [''])
+test('T13233', expect_broken(13233), compile, [''])