Commit cc9a8c7b authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7278

parent 31894278
{-# LANGUAGE TypeFamilies, PolyKinds, MultiParamTypeClasses #-}
module T7278 where
type family TF (t :: k) :: * -> * -> *
class C (t :: k) (dcs :: * -> * -> *)
f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0
f = undefined -- panic caused by (t :: k) in the signature's context
T7278.hs:8:43:
`t' is applied to too many type arguments
In the type signature for `f':
f :: C (t :: k) (TF t) => TF t p1 p0 -> t p1 p0
......@@ -67,5 +67,6 @@ test('T7176', normal, compile,[''])
test('T7224', normal, compile_fail,[''])
test('T7230', normal, compile_fail,[''])
test('T7238', normal, compile,[''])
test('T7278', normal, compile_fail,[''])
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