Changes between Version 206 and Version 207 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 12, 2007 1:47:20 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v206 v207  
    2828 0. CONCEPTUAL issue: At least with `skolemOccurs`, the policy of not zonking the types embedded in the kinds of coercion type variables does no longer work.  This becomes, for example in the test `Simple13`, apparent.  The skolem introduced in `skolemOccurs` finds its way into variable kinds (which is visible when inspecting them during `TcMType.zonk_tc_tyvar`). 
    2929 0. When `Simple13` is compiled with a compiler that was built with `-DDEBUG`, it prints a warning about not matching types being used during constructing a trans coercion. 
     30 0. ghc falls over if a bang pattern is put at an argument of type `F a`. 
    3031 0. Fix export list problem (ie, export of data constructors introduced by orphan data instances): 
    3132   * Change `HscTypes.IfaceExport` to use `Name` instead of `OccName`.