[Hugs-users] explicit kind information

[luc.duponcheel at accenture.com]

Hi all,

Does the current version (or future versions) of hugs support explicit kind information?
For example, when composing 'category transformers' (whatever the beasts are) I would like to
use a (restricted) type synonym along the following lines:

type C t23 t12 c x y = t23 (t12 c) x y in ...

here is what hugs infers

:info C
-- type constructor with kind (* -> * -> * -> *) -> (* -> *) -> * -> * -> * -> *
type C a b c d e = <restricted>

but:

When I define 'C t23 t12' as a category transformer, I get kind errors.
What I would like to do is explicitely annotate t23 and t12 to have kind (* -> * -> *) -> * -> * -> *).

ps: I do know that ghc6.x supports explicit kind information, but,
(afaik) ghc6.x does not support restricted type synonyms and extensible records.


So, a more general question would be:

Are there any Haskell implementations out there that support

 o explicit kind information
 o restricted type synonyms
 o extensible records

Luc



This message is for the designated recipient only and may contain privileged, proprietary, or otherwise private information.  If you have received it in error, please notify the sender immediately and delete the original.  Any other use of the email by you is prohibited.