And can someone update the user manual please?
| -----Original Message----- | From: Barney Hilken [mailto:b.hil...@ntlworld.com] | Sent: 17 October 2014 00:14 | To: Carter Schonwald | Cc: Adam Gundry; Eric Seidel; glasgow-haskell-users@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.schonw...@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.hil...@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@haskell.org | > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users | > _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
