Commit eb6ccb7c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #13490

parent b5c81203
{-# LANGUAGE FlexibleContexts, TypeFamilies #-}
module T13490 where
import Data.Typeable
type family Foo a
data C a
foo :: (Typeable (C z), z ~ Foo zp) => C zp
foo = undefined
......@@ -547,3 +547,4 @@ test('T13381', normal, compile_fail, [''])
test('T13337', normal, compile, [''])
test('T13343', normal, compile, [''])
test('T13458', normal, compile, [''])
test('T13490', 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