CUSK mysteries
Take the following definition:
type family G (a :: k) where
G Int = Bool
G Bool = Int
G a = aIt compiles in 7.8.3, but not in 7.10.1 RC2. This makes me sad. I will fix.
(Found by Jan Stolarek.)
Edited by Ben Gamari
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
Take the following definition:
type family G (a :: k) where
G Int = Bool
G Bool = Int
G a = aIt compiles in 7.8.3, but not in 7.10.1 RC2. This makes me sad. I will fix.
(Found by Jan Stolarek.)