Changes between Initial Version and Version 1 of Ticket #111
- Timestamp:
- 09/17/06 17:35:41 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #111 – description
initial v1 1 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 wh ther there are fixity declarations, and the necessaity to parse all expressions twice is cumbersome.1 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.
