Changes between Version 179 and Version 180 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 29, 2007 12:43:24 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v179 v180  
    55'''Debugging of type family patch:''' 
    66 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. 
     7 0. Fix export list problem (ie, export of data constructors introduced by orphan data instances): 
     8   * Change `HscTypes.IfaceExport` to use `Name` instead of `OccName`. 
     9   * Then, there is also no need for the grouping of the identifiers anymore; i.e, just use a flat list of `Name`s (but sort it to avoid spurious iface changes dur to re-ordering when re-compiling). 
     10   * We still need to have the name parent map, though. 
    711 0. Fix core-lint breakage in cholewo-eval. 
    812 0. The tests `tcfail068` and `rw` used to raise more type errors right away.  Now, we see less recovery.