Add a fixme for last commit.
This commit is contained in:
parent
d7f118135b
commit
9d576993f3
1 changed files with 4 additions and 0 deletions
|
@ -1215,6 +1215,10 @@ fn unify(@ty.t expected, @ty.t actual, &unify_handler handler)
|
||||||
auto eqer = eq_int;
|
auto eqer = eq_int;
|
||||||
auto bindings = map.mk_hashmap[int,@ty.t](hasher, eqer);
|
auto bindings = map.mk_hashmap[int,@ty.t](hasher, eqer);
|
||||||
|
|
||||||
|
// FIXME: this is a slow way of driving types into residual vars that
|
||||||
|
// occur up in the leaves of result type; it can likely be done better
|
||||||
|
// when unification is actually ... down in the leaves.
|
||||||
|
|
||||||
auto ures = unify_step(bindings, expected, actual, handler);
|
auto ures = unify_step(bindings, expected, actual, handler);
|
||||||
while (true) {
|
while (true) {
|
||||||
alt (ures) {
|
alt (ures) {
|
||||||
|
|
Loading…
Reference in a new issue