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