Changes between Version 9 and Version 10 of PrefixMinusResolution


Ignore:
Timestamp:
Jul 14, 2010 10:32:34 AM (4 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: