Commit 693b38cb authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Test case for #11699 in typecheck/should_compile

[skip ci]
parent 6c768fcf
{-# LANGUAGE TypeFamilies, PolyKinds #-}
module T11699 where
type family F a where F (f a) = f a
......@@ -508,3 +508,4 @@ test('T11552', normal, compile, [''])
test('T11246', normal, compile, [''])
test('T11608', normal, compile, [''])
test('T11401', normal, compile, [''])
test('T11699', 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