thoughts on the record update problem

Chris Smith cdsmith at
Thu Mar 8 22:14:48 CET 2012

On Thu, Mar 8, 2012 at 2:09 PM, Greg Weber <greg at> wrote:
> The semantics that will be exposed to users have already been largely
> decide upon.

Admittedly I haven't had time to carefully read some parts of this
thread, and if that claim is true, then of course implementation
should be the major concern.  But it seems unlikely that claim is
true, since in the very same email you express what looks like a
pretty serious concern about the semantics that will be exposed to
users (namely, the need for a new kind of type annotation).

Chris Smith

More information about the Glasgow-haskell-users mailing list