... | ... | @@ -100,11 +100,6 @@ Currently, `tcImproveOne` generates pairs of types to be unified (on the basis o |
|
|
|
|
|
The 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).
|
|
|
|
|
|
#### Orientation of normal variable equalities
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
#### Treatment of variable instantiation
|
|
|
|
|
|
|
... | ... | |