Figure out why tags get rebuilt in compares-not-equal order, and fix

7c7105f
Opened by Graydon Hoare at 2010-06-29 02:24:09

It seems that we sometimes rebuild tags during typechecking in a way that causes the constructors to reorder, and tag-equality comparison fails (in the ocaml sense). Figure out why or how this happens and fix it. Currently hacked-around.

  1. Canonicalize hashtables after running them through htab_map. Closed by 329a65530fecdb59bbf06c6830cd766778b155b4.

    Graydon Hoare at 2010-06-29 02:24:09