Changes between Version 402 and Version 403 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 9, 2008 11:26:03 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v402 v403  
    4040 
    4141 * Misc: 
     42  * `TcPat` and `TcUnify` (and maybe other modules) still have calls to the unification engine that ignore the returned coercion!! 
    4243  * Test `Simple17` (corelint error as a dict binding, used to specialise a call to a local function, floats out too far) 
    4344  * Improve error messages for loopy equalities: TF tests `Simple13` & `SkolemOccursLoop`