Changes between Version 326 and Version 327 of TypeFunctionsStatus


Ignore:
Timestamp:
Jun 26, 2008 5:02:00 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v326 v327  
    5757      2. check that the ... can be unified with t1..tn 
    5858     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. 
     59 0. Single phase algorithm; cf `single_phase_algorithm.tex`. 
    5960 0. When a `type instance` changes (in an orphan modules), currently clients are not properly recompiled at least by `--make`. 
    6061 0. Implementing FDs by TFs: