Type checker plugins

[Carter Schonwald]

the alphabetical ordering on Symbol is already exposed via TypeLits... this
would be some machinery to help maintain that ordering with less user
intervention?

On Thu, Oct 16, 2014 at 6:59 PM, Barney Hilken <b.hilken at ntlworld.com>
wrote:

> I can think of a use for a non-equality constraint: an alphabetical
> ordering on Symbol. This would allow experimental implementations of
> extensible records (without shadowing) which keep the labels sorted.
>
> An order constraint on Nat might be useful, too.
>
> Barney.
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20141016/e6d64cea/attachment.html>