diff options
| author | Roy Frostig <[email protected]> | 2010-07-01 00:09:11 -0700 |
|---|---|---|
| committer | Roy Frostig <[email protected]> | 2010-07-01 00:09:11 -0700 |
| commit | 5a07e98c5d8f61ff5d1efd28c36337a30d6e86d6 (patch) | |
| tree | a2b09e877471f38dfa2c48e321f46c653593b849 /src/boot/me/resolve.ml | |
| parent | Add (XFAILed) testcase for typechecker issue where fns-in-mods appear to lose... (diff) | |
| download | rust-5a07e98c5d8f61ff5d1efd28c36337a30d6e86d6.tar.xz rust-5a07e98c5d8f61ff5d1efd28c36337a30d6e86d6.zip | |
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.
Diffstat (limited to 'src/boot/me/resolve.ml')
| -rw-r--r-- | src/boot/me/resolve.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |