Commit 27c9a7d0 authored by Ben Gamari's avatar Ben Gamari 🐢
Browse files

testsuite: Add failing testcase for #13233

Thanks to Ryan Scott for the example.
parent ee7241cf
{-# 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 (#,#)
......@@ -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, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment