Fix fixed-point iteration in type unification

100f86b
Opened by Patrick Walton at 2011-02-18 22:56:55

Can infinite loop.

  1. Implement Robinson's algorithm for type unification. Closed by 3aba50ff331f4d97b1ca2a60091b03e012837b98.

    Patrick Walton at 2011-02-18 22:52:54

  2. https://github.com/graydon/rust/commit/3aba50ff331f4d97b1ca2a60091b03e012837b98

    Patrick Walton at 2011-02-18 22:56:55