Ticket #1872 (closed feature request: wontfix)

Opened 6 years ago

Last modified 4 months ago

Extensible Records

Reported by: gidyn Owned by:
Priority: normal Milestone: _|_
Component: Compiler Version: 6.11
Keywords: Extensible Records Cc: pho@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

There seems to be widespread agreement that the current situation with regards to records is unacceptable, but the official GHC policy is that there are too many good ideas to choose from - so nothing gets done!

This ticket is a request to implement ExtensibleRecords in GHC.

Change History

Changed 5 years ago by simonmar

  • architecture changed from Multiple to Unknown/Multiple

Changed 5 years ago by simonmar

  • os changed from Multiple to Unknown/Multiple

Changed 5 years ago by guest

  • version set to 6.11

Changed 4 years ago by PHO

  • cc pho@… added

Changed 4 years ago by igloo

  • difficulty set to Unknown
  • milestone changed from 6.10 branch to _|_

Changed 3 years ago by gidyn

  • cc gideon@… added
  • failure set to None/Unknown

Changed 3 years ago by gidyn

  • cc gideon@… removed

Changed 4 months ago by morabbin

Bump; is still how we deal with this sorts of extension request? ExtensibleRecords doesn't seem to have settled on one of the seven proposals, but I'm guessing things have changed, given type system extensions since this was created.

Changed 4 months ago by igloo

  • status changed from new to closed
  • resolution set to wontfix

It looks like this needs more discussion on the lists and/or wiki, so I'll close this ticket.

Note: See TracTickets for help on using tickets.