Changes between Version 28 and Version 29 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 3, 2008 10:03:47 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v28 v29  
    157157}}} 
    158158 
    159 '''New-single using flexible tyvars to flatten locals, but w/o Rule (Local) for flexible type variables''': Interestingly, new-single emulates the effect of (!SkolemOccurs) if we (a) use flexible type variables to flatten local equalities and (b) at the same time do not use Rule (Local) for variable equalities with flexible type variables.  NB: Point (b) was necessary for the ICFP'08 algorithm, too. 
     159'''New-single using flexible tyvars to flatten locals, but w/o Rule (Local) for flexible type variables''': With (!SkolemOccurs) it is crucial to avoid using Rule (Local) with flexible type variables.  We can achieve a similar effect with new-single if we (a) use flexible type variables to flatten local equalities and (b) at the same time do not use Rule (Local) for variable equalities with flexible type variables.  NB: Point (b) was necessary for the ICFP'08 algorithm, too. 
    160160{{{ 
    161161[F v] ~ v  ||-  [F v] ~ v