Commit 9ef237b7 authored by Edward Z. Yang's avatar Edward Z. Yang
Browse files

Failing test for #13149.


Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
parent bbe8956f
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE TypeInType #-}
unit p where
signature A where
import GHC.Types
type family F a where
F Bool = Type
module B where
import A
foo :: forall (a :: F Bool). a -> a
foo x = x
unit q where
dependency p[A=<A>]
module C where
import B
...@@ -42,3 +42,5 @@ test('bkp47', normal, backpack_compile, ['']) ...@@ -42,3 +42,5 @@ test('bkp47', normal, backpack_compile, [''])
test('bkp48', normal, backpack_compile, ['']) test('bkp48', normal, backpack_compile, [''])
test('bkp49', normal, backpack_compile, ['']) test('bkp49', normal, backpack_compile, [''])
test('bkp50', normal, backpack_compile, ['']) test('bkp50', normal, backpack_compile, [''])
test('T13149', expect_broken(13149), backpack_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