Changes between Version 6 and Version 7 of PrefixMinusResolution


Ignore:
Timestamp:
Jul 13, 2010 5:05:16 PM (5 years ago)
Author:
maeder
Comment:

added pros and cons

Legend:

Unmodified
Added
Removed
Modified
  • PrefixMinusResolution

    v6 v7  
    2020
    21213. Do not consider associativity of prefix minus or (alternative formulation) let prefix minus bind a bit stronger than infix minus.
     22
     23Pro:
     24 * Compatible with current state (fewer programs are rejected)
     25 * fewer cryptic rejection messages involving prefix minus
     26
     27Cons:
     28 * Does not explain why and how certain terms are resolved (if they are accepted)
    2229
    2330== Description ==