Changes between Version 160 and Version 161 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 10:51:33 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v160 v161  
    44
    55'''Debugging of type family patch:'''
    6  0. The treatment of literal lists, parallel arrays, and tuples in`TcExpr.tcExpr` is fishy.  Shouldn't they at least proceed in the same way?  Is it ok to always create a boxy variable for the list element type in the `ExplicitList` case?
     6 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.
    77
    88'''Current:'''