Changes between Version 212 and Version 213 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 16, 2007 2:37:29 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v212 v213  
    44 
    55'''Debugging of type families:''' 
     6 0. `:t` in ghci doesn't print equalities in contexts properly. 
    67 0. ghci command to print normalised type and add [http://article.gmane.org/gmane.comp.lang.haskell.cafe/28799] as a test to the testsuite. 
    78 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.