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 ==