label syntax vs DisambiguateRecordFields

[Simon Marlow]

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