blob: 3af14584271d26046ecfd4903e811d49ca8bca63 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE RankNTypes, GADTs, DataKinds, PolyKinds, TypeOperators, TypeFamilies #-}
module T9222 where
import Data.Kind
import Data.Proxy
-- Nov 2014: actually the type of Want is ambiguous if we
-- do the full co/contra thing for subtyping,
-- which we now do
-- So this program is erroneous. (But the original ticket was
-- a crash, and that's still fixed!)
data Want :: (i,j) -> Type where
Want :: (a ~ '(b,c) => Proxy b) -> Want a
|