|Version 1 (modified by 11 years ago) (diff),|
get rid of unary '-' operator
the unary '-' is a very odd case in the report and causes a lot of confusion.
to fix it we can
- make - part of the lexical syntax of numbers. so a - followed by digits is interpreted as a negative number
- get rid of all other special treatment of -
- people can use 'negate' if they want to negate non literals.