From 9da8101cc83116c3804393a1abe3eb5e1d0dc02a Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Thu, 5 Aug 2010 13:26:28 -0700 Subject: Something is wrong with the emitter size cache; disable for now, possibly put out flaming tinderboxes. --- src/boot/me/trans.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index f54a5d65..8c280ebd 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -674,7 +674,9 @@ let trans_visitor (Printf.sprintf "calculated size %s is %s" (string_of_size size) (oper_str res))); - htab_put (emitter_size_cache()) size res; + + (* FIXME: this appears to be incorrect; investigate why.*) + (* htab_put (emitter_size_cache()) size res; *) res -- cgit v1.2.3