Changes between Version 47 and Version 48 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 16, 2008 4:15:26 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v47 v48  
    3939 * the types `t`, `t1`, ..., `tn` may not contain any occurrences of synonym families, 
    4040 * the left-hand side of an equality may not occur in the right-hand side, and 
    41  * the relation `x < y` is a total order on type variables, where `alpha < a` whenever `alpha` is a flexible and `a` a rigid type variable (otherwise, the details of the total order are irrelevant). 
     41 * the relation `x < y` is a total order on type variables, where `alpha < a` whenever `alpha` is a flexible and `a` a rigid type variable (otherwise, the total order may be aribitrary). 
    4242 
    4343The second bullet of the where clause is trivially true for equalities of Form (1) and it implies that the left- and right-hand sides are different.