Changes between Version 307 and Version 308 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 3, 2008 3:15:29 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v307 v308  
    5151      2. check that the ... can be unified with t1..tn 
    5252     If (1) succeeds but (2) fails, the alternative is in accessible.  Of course, (2) might fail "later" by generating a constraint that later can't be satisfied, and we won't report that well, but we'd get a good message in the common fails-fast case.  We could even improve the message from (1) to say: "Constructor C is from data type T, but a pattern of type s is expected. 
     53 0. When a `type instance` changes (in an orphan modules), currently clients are not properly recompiled at least by `--make`. 
    5354 0. Implementing FDs by TFs: 
    5455   * Step 1: Replace the existing improvement machinery for FDs by code that generates explicit equalities from the two FD rules.  Then, all improvement is by normalisation of equalities, which hopefully allows us to simplify `TcSimplify.reduceContext`.