CUSK mysteries
Take the following definition:
type family G (a :: k) where
G Int = Bool
G Bool = Int
G a = a
It compiles in 7.8.3, but not in 7.10.1 RC2. This makes me sad. I will fix.
(Found by Jan Stolarek.)
Take the following definition:
type family G (a :: k) where
G Int = Bool
G Bool = Int
G a = a
It compiles in 7.8.3, but not in 7.10.1 RC2. This makes me sad. I will fix.
(Found by Jan Stolarek.)