Opened 3 years ago

Last modified 3 years ago

#12710 new feature request

Make some reserved Unicode symbols "specials"

Reported by: JoshPrice247 Owned by:
Priority: low Milestone:
Component: Compiler (Parser) Version: 8.0.1
Keywords: Unicode, UnicodeSyntax Cc:
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

The following comment is in compiler/parser/Lexer.x:

ToDo: ideally, → and ∷ should be "specials", so that they cannot form part of a large operator. This would let us have a better syntax for kinds: ɑ∷*→* would be a legal kind signature. (maybe).

Change History (1)

comment:1 Changed 3 years ago by JoshPrice247

Owner: JoshPrice247 deleted
Note: See TracTickets for help on using tickets.