Commit 814707fa authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7156

parent 4b0b0f17
{-# LANGUAGE TypeFamilies, ExistentialQuantification #-}
module T7156 where
data T a = (a ~ ()) => T
f :: T a -> a
f T = ()
......@@ -196,3 +196,5 @@ test('T6152',
test('T6088', normal, compile, [''])
test('T7082', normal, compile, [''])
test('T7156', normal, 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