Changes between Version 9 and Version 10 of PrefixMinusResolution


Ignore:
Timestamp:
Jul 14, 2010 10:32:34 AM (5 years ago)
Author:
maeder
Comment:

added nhc

Legend:

Unmodified
Added
Removed
Modified
  • PrefixMinusResolution

    v9 v10  
    99|| GHC   || [ none ] ||
    1010|| Hugs  || [ partial ] ||
     11|| nhc98  || [ partial ] ||
    1112|| others  || [ unknown ] ||
    1213
     
    21223. one of the following alternative formulations (the essence of this propoasl)
    2223
    23    - Do not consider associativity of prefix minus
     24   - Do not consider associativities for prefix minus resolution
    2425   - Let prefix minus bind a bit stronger than infix minus
    25    - Resolve ''all'' prefix minus applications (prior to infix resolution)
    26    
    2726
    2827Pro:
    2928 * Compatible with current state (fewer programs are rejected)
    3029 * fewer cryptic rejection messages involving prefix minus
     30 * All prefix minus applications will be resolved
    3131
    3232Cons: