Changes between Version 47 and Version 48 of TypeFunctionsSolving
 Timestamp:
 Aug 16, 2008 4:15:26 AM (8 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeFunctionsSolving
v47 v48 39 39 * the types `t`, `t1`, ..., `tn` may not contain any occurrences of synonym families, 40 40 * the lefthand side of an equality may not occur in the righthand 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). 42 42 43 43 The second bullet of the where clause is trivially true for equalities of Form (1) and it implies that the left and righthand sides are different.