## 6.3 Bug Fixes in Detail

record unification

  an invalid optimization was introduced in 1.2.0 that affected speculative unification of records

variable aliasing detection (Windows)

  variable aliasing detection was inoperative. As a result propagation was weaker. This could be observed with the SEND+MORE=MONEY example which produced a larger search tree

`oztool` (Windows)

  `oztool ld` now also works under Cygwin (not only Mingw32). Furthermore, options are now accepted in any order, and options `-I`, `-l`, `-L` and `-s` are supported for gcc and Microsoft Visual C++

`OS.system` and `Open.pipe` (Windows)

  `OS.system` was broken in 1.2.0 and has now been repaired; bug fixes in inheritance and closing of handles

failed futures

  (dis)equality testing now correctly passes up exceptions. `Value.byNeedFail` is now careful to be non-requesting.

IO problems (Windows 2000 Service Pack 2)

  system would freeze if `ws2_32.dll` was not loaded

Entailment of propagators

  propagators are now again included in the suspension count

`Combinator.reify`

  fixed bug related to merging

`Schedule.cumulative`

  fixed bug related to sorting task intervals