Type checker plugins
Simon Peyton Jones
simonpj at microsoft.com
Fri Oct 17 08:01:06 UTC 2014
And can someone update the user manual please?
| -----Original Message-----
| From: Barney Hilken [mailto:b.hilken at ntlworld.com]
| Sent: 17 October 2014 00:14
| To: Carter Schonwald
| Cc: Adam Gundry; Eric Seidel; glasgow-haskell-users at haskell.org; Simon
| Peyton Jones
| Subject: Re: Type checker plugins
|
| Ok, I hadn't realised that. Looking in the user's guide, I see <= and
| <=? for Nat, but I couldn't find anything about Symbol. I must try
| them out!
|
|
| > From: Carter Schonwald <carter.schonwald at gmail.com>
| >
| > 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
| >
More information about the Glasgow-haskell-users
mailing list