Changes between Version 34 and Version 35 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 7, 2008 4:05:42 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v34 v35  
    4545 * We explicitly permit equalities of the form `x ~ y` and `a ~ b`, where both sides are either flexible or rigid type variables. 
    4646 * Normal equalities are similar to equalities meeting the Orientation Invariant and Flattening Invariant of new-single, but they are not the same. 
    47  * Normal equalities are '''never''' self-recursive.  They can be mutually recursive.  A mutually recursive group will exclusively contain variable equalities.  '''SLPJ''' why.  What prevents `a ~ [b], b ~ [a]`?   
     47 * Normal equalities are '''never''' self-recursive.  They can be mutually recursive.  A mutually recursive group will exclusively contain variable equalities.  
    4848 
    4949=== Coercions ===