Opened 10 years ago

Closed 5 years 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 Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

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 9 years ago by simonmar

Architecture: MultipleUnknown/Multiple

comment:2 Changed 9 years ago by simonmar

Operating System: MultipleUnknown/Multiple

comment:3 Changed 9 years ago by guest

Version: 6.11

comment:4 Changed 9 years ago by PHO

Cc: pho@… added

comment:5 Changed 9 years ago by igloo

difficulty: Unknown
Milestone: 6.10 branch_|_

comment:6 Changed 7 years ago by gidyn

Cc: gideon@… added
Type of failure: None/Unknown

comment:7 Changed 7 years ago by gidyn

Cc: gideon@… removed

comment:8 Changed 5 years 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 5 years ago by igloo

Resolution: wontfix
Status: newclosed

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.