blob: 9b799e542c25c06a9b49fc5f7f9bb43d1da0d1d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE MonoLocalBinds, TypeInType, ScopedTypeVariables #-}
module T14066e where
import Data.Proxy
-- this should fail because the dependency between b and c can't be
-- determined in the type signature
h :: forall a. a -> ()
h x = ()
where
j :: forall c b. Proxy a -> Proxy b -> Proxy c -> Proxy b
j _ (p1 :: Proxy b') (p2 :: Proxy c') = (p1 :: Proxy (b' :: c'))
|