From 9d576993f31349f2a7dbf8e40ccdaff9cf66144d Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Mon, 7 Feb 2011 14:16:40 -0800
Subject: Add a fixme for last commit.

---
 src/comp/middle/ty.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs
index 92fa1399..c3b0e687 100644
--- a/src/comp/middle/ty.rs
+++ b/src/comp/middle/ty.rs
@@ -1215,6 +1215,10 @@ fn unify(@ty.t expected, @ty.t actual, &unify_handler handler)
     auto eqer = eq_int;
     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);
     while (true) {
         alt (ures) {
-- 
cgit v1.2.3