I really like this proposal (except I would bike shed about the syntax for record selector to be dot, like in the majority of languages.)
On Fri, Jan 23, 2015 at 3:41 PM, Simon Peyton Jones <simo...@microsoft.com> wrote: > | I just > | noticed that it effectively gives us a syntax for identifier-like Symbol > | singletons, which could be useful in completely different contexts > > Indeed so. I have written a major increment to > > https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/Redesign > which people reading this thread may find interesting. Look for "Plan B". > > For the first time I think I can see a nice, simple, elegant, orthogonal > story. > > Simon > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://www.haskell.org/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
