Changes between Version 4 and Version 5 of TypeFunctions/IntegratedSolver


Ignore:
Timestamp:
Mar 14, 2009 6:39:53 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions/IntegratedSolver

    v4 v5  
    7676The plan is to outline on this page, the final design we are aiming for (independent of whether we implement it in one rewrite of the source or more). 
    7777 
    78 ==== Orientation of normal variable equalities ==== 
    79  
    80 Currently, when we finalise `alpha ~> beta`, we may decide to instantiate `beta` with `alpha` (in `uMeta`).  We should not make the choice about which way to instantiate at that late stage.  Instead, we should adjust the < relation between type variables to orient them already such that the instantiation is always in the direction of the rewrite rule.  That just seems cleaner. 
    81  
    8278==== Treatment of variable instantiation ==== 
    8379