Changes between Version 206 and Version 207 of TypeFunctionsStatus
- Sep 12, 2007 1:47:20 AM (8 years ago)
v206 v207 28 28 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`). 29 29 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 30 31 0. Fix export list problem (ie, export of data constructors introduced by orphan data instances): 31 32 * Change `HscTypes.IfaceExport` to use `Name` instead of `OccName`.