From 5a07e98c5d8f61ff5d1efd28c36337a30d6e86d6 Mon Sep 17 00:00:00 2001 From: Roy Frostig Date: Thu, 1 Jul 2010 00:09:11 -0700 Subject: Fix two bugs in tag patterns: 1. Look up the tag constructor function item using lval_item, not lval_to_referent; 2. Correct the form of the name used to query the tag or iso ty_tag when obtaining the corresponding type tuple. --- src/boot/me/resolve.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/boot/me/resolve.ml') diff --git a/src/boot/me/resolve.ml b/src/boot/me/resolve.ml index 1f563c76..cafb69b1 100644 --- a/src/boot/me/resolve.ml +++ b/src/boot/me/resolve.ml @@ -930,7 +930,7 @@ let pattern_resolving_visitor Ast.PAT_tag (lval, pats) -> let lval_nm = lval_to_name lval in let lval_id = lval_base_id lval in - let tag_ctor_id = lval_to_referent cx lval_id in + let tag_ctor_id = (lval_item cx lval).id in if referent_is_item cx tag_ctor_id (* FIXME (issue #76): we should actually check here that the -- cgit v1.2.3