Simon Peyton-Jones wrote:
| Nice feature but feel like a band-aid. In particular it makes SYB style | programming more difficult because field labels aren't types. | | Almost every other record syntax plan involves field labels as types so | you can do interesting type dispatch.
Record systems are indeed an interesting area. You might like to contribute to the discussion centred here: http://hackage.haskell.org/trac/ghc/wiki/ExtensibleRecords
| Tracking these open issues: | * too many pragma declarations | * recursive deriving | * labels | * : for reload in ghci | * not reloading all the modules on :r
Discussing these issues by email is an excellent way to characterise the issue and evolve a proposed design. But the way to track them is to use Trac -- so do go ahead and submit bug reports and/or feature requests.
I've created tickets for the last two: http://hackage.haskell.org/trac/ghc/ticket/1914 http://hackage.haskell.org/trac/ghc/ticket/1915 Cheers, Simon