From 1875a36feecb7dab183a59ead2d0a342f733422e Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Mon, 25 Oct 2010 17:57:35 -0700 Subject: [PATCH] Prevent Not_found in the unfortunate case when we have to "friendly_stringify" a tag type we haven't yet recorded into cx.ctxt_all_tag_info --- src/boot/me/semant.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 63b52445ea4..6fb6a5807b3 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -1005,7 +1005,8 @@ let rec pretty_ty_str (cx:ctxt) (fallback:(Ast.ty -> string)) (ty:Ast.ty) = let fn_args_str = String.concat ", " (Array.to_list fn_args) in let fn_rv_str = format_slot fnsig.Ast.sig_output_slot in Printf.sprintf "fn(%s) -> %s" fn_args_str fn_rv_str - | Ast.TY_tag { Ast.tag_id = tag_id; Ast.tag_args = args } -> + | Ast.TY_tag { Ast.tag_id = tag_id; Ast.tag_args = args } + when Hashtbl.mem cx.ctxt_all_tag_info tag_id -> let tag_info = Hashtbl.find cx.ctxt_all_tag_info tag_id in let tag_idents = tag_info.tag_idents in let item_id = ref None in