Opened 6 years ago

Closed 15 months ago

#1872 closed feature request (wontfix)

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 (9)

comment:1 Changed 6 years ago by simonmar

  • Architecture changed from Multiple to Unknown/Multiple

comment:2 Changed 6 years ago by simonmar

  • Operating System changed from Multiple to Unknown/Multiple

comment:3 Changed 5 years ago by guest

  • Version set to 6.11

comment:4 Changed 5 years ago by PHO

  • Cc pho@… added

comment:5 Changed 5 years ago by igloo

  • Difficulty set to Unknown
  • Milestone changed from 6.10 branch to _|_

comment:6 Changed 3 years ago by gidyn

  • Cc gideon@… added
  • Type of failure set to None/Unknown

comment:7 Changed 3 years ago by gidyn

  • Cc gideon@… removed

comment:8 Changed 15 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.

comment:9 Changed 15 months ago by igloo

  • Resolution set to wontfix
  • Status changed from new to closed

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.