Status update on overloaded records work?

[Simon Peyton-Jones]

| - (What I was hoping for but didn't get.)
|   No compiler flag to suppress creating selector functions.
|   This would have allowed records to be declared re-using the same
| name;
|   but left it entirely to the developer as to how to access them.
|   (I was trying to promote the TH and/or Lenses cottage industries.)

This is an petty orthogonal design request, which is why it wasn't part of Adam's project.

However I could imagine some pretty puzzled users. ("I imported module M, which defines a type T with field f, but GHC says 'f is not in scope'".  Turns out that M was compiled (via a command-line option) with -XNoRecordSelectors.) 

I don't really buy it, but I don't massively object either, if someone wants to offer a patch.

Simon