[Haskell-cafe] Kind synonyms

[Tom Ellis]

Is there an extension that will allow me to do

type T = (*, *)

so I can replace

type family F (k :: (*, *))

with

type family F (k :: T)

?

Tom
_______________________________________________
Haskell-Cafe mailing list
Haskel...@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

[Jan Stolarek]

> Is there an extension that will allow me to do

No. See https://ghc.haskell.org/trac/ghc/ticket/9632

Janek




---
Politechnika Šódzka
Lodz University of Technology

Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.
Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę
prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.

This email contains information intended solely for the use of the individual to whom it is addressed.
If you are not the intended recipient or if you have received this message in error,
please notify the sender and delete it from your system.