Changes between Version 194 and Version 195 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 5, 2007 11:12:56 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v194 v195  
    88 0. To fix `Simple8`: 
    99   * Fix tcLookupFamInst to gracefully handle this case.  (This requires some care to not violate assumptions made by other  clients of this function, as it is also used for data families,  but I see no fundamental problem.) 
    10 * Issue a warning if there are two identical instances (as per  Roman's suggestion). 
     10   * Issue a warning if there are two identical instances (as per  Roman's suggestion). 
    1111 0. `boxySplitTyConApp` and friends must be able to deal with `orig_ty`s that have outermost type family applications; i.e., they need to try to normalise and possibly have to defer.  They also need to defer on skolems.  Consequently, they also need to return a coercion.  This , in particular, affects the treatment of literal lists, parallel arrays, and tuples in`TcExpr.tcExpr` is fishy. 
    1212 0. Can't we now allow non-left-linear declarations; e.g., `instance type F a a = ..`?