Opened 13 years ago

Last modified 4 years ago

#111 new task

remove local fixity declarations

Reported by: Doaitse Swierstra Owned by: none
Priority: normal Milestone:
Version: Keywords: fixity declarations
Cc: Meta Owner:
State: discussion Section: N/A or multiple
Related Tickets:

Description (last modified by )

On page 38 the language definition allows local fixity declarations. Since no-one seems to be using these, not to be aware of the possibility to do so, I propose to remove them. The necessity to inspect every block to see whether there are fixity declarations, and the necessity to parse all expressions twice is cumbersome.

Change History (5)

comment:1 Changed 13 years ago by

Description: modified (diff)

comment:2 Changed 13 years ago by Simon Marlow

Haskell 98 only has top-level fixity declarations, and fixity declarations in a class declaration (which are essentially top-level too). What do you mean by "local"?

See also FixityResolution.

comment:3 Changed 13 years ago by Simon Marlow

I just looked again, and you're quite right, there are local fixity declarations! And GHC even implements them.

I'm not convinced they should be removed, because it's no harder to deal with local fixity declarations than it is to deal with fixity of imported identifiers. On the other hand, it is certainly a small feature that we could remove.

comment:4 Changed 4 years ago by Herbert Valerio Riedel

Milestone:

moving non-milestoned many year old legacy tickets out of the way

comment:5 Changed 4 years ago by Herbert Valerio Riedel

Priority: trivialnormal

Set default priority (as this confuses Trac otherwise)

Note: See TracTickets for help on using tickets.