small improvement to roles mechanism

Joachim Breitner mail at
Sat Oct 12 08:39:07 UTC 2013


Am Freitag, den 11.10.2013, 22:19 -0400 schrieb Richard Eisenberg:
> 2. Like #1, but disallow Coercible. This way, the abstraction problem
> is no worse than it was before. (Apologies to Joachim if he minds this
> suggestion.)

I don’t mind it; after all I was reluctant to put Coercible in 7.8 in
the first place.

OTOH, Coercible is like GND: A feature that is more type-safe with Roles
than without, but it could live on its own. So if we do disable
role-checking in 7.8, we could still leave Coercible in as a tech
preview, with a clear statement in the docs saying “this is currently an
unsafe feature (like unsafeCoerce)”. I would be nice if adventurous
people can play with it.


Joachim “nomeata” Breitner
  mail at joachim-breitner.de
  Jabber: nomeata at  • GPG-Key: 0x4743206C
  Debian Developer: nomeata at
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <>

More information about the ghc-devs mailing list