diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-03-23 22:53:29 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-24 10:14:26 -0400 |
commit | 27c9a7d095d2383a7822d317dc7acfe579a4815b (patch) | |
tree | ebdb84d7d66efecb8786aa332ab16c1f4f96fc36 /testsuite/tests/codeGen | |
parent | ee7241cfde455ab6731b9ce81b36247f082a1342 (diff) | |
download | haskell-27c9a7d095d2383a7822d317dc7acfe579a4815b.tar.gz |
testsuite: Add failing testcase for #13233
Thanks to Ryan Scott for the example.
Diffstat (limited to 'testsuite/tests/codeGen')
-rw-r--r-- | testsuite/tests/codeGen/should_compile/T13233.hs | 12 | ||||
-rw-r--r-- | testsuite/tests/codeGen/should_compile/all.T | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/codeGen/should_compile/T13233.hs b/testsuite/tests/codeGen/should_compile/T13233.hs new file mode 100644 index 0000000000..bb79856d3b --- /dev/null +++ b/testsuite/tests/codeGen/should_compile/T13233.hs @@ -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 (#,#) diff --git a/testsuite/tests/codeGen/should_compile/all.T b/testsuite/tests/codeGen/should_compile/all.T index 6ae4e1cb4e..a73a9d65cf 100644 --- a/testsuite/tests/codeGen/should_compile/all.T +++ b/testsuite/tests/codeGen/should_compile/all.T @@ -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, ['']) |