diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/resolve.ml | 2 | ||||
| -rw-r--r-- | src/boot/me/semant.ml | 18 |
2 files changed, 10 insertions, 10 deletions
diff --git a/src/boot/me/resolve.ml b/src/boot/me/resolve.ml index 5077d5ce..641df884 100644 --- a/src/boot/me/resolve.ml +++ b/src/boot/me/resolve.ml @@ -931,7 +931,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 diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index ea82e685..8d2ed8ac 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -432,15 +432,15 @@ let fn_output_ty (fn_ty:Ast.ty) : Ast.ty = (* name of tag constructor function -> name for indexing in the ty_tag *) let rec tag_ctor_name_to_tag_name (name:Ast.name) : Ast.name = match name with - Ast.NAME_base nb -> - begin - match nb with - Ast.BASE_ident _ -> name - | Ast.BASE_app (id, _) -> Ast.NAME_base (Ast.BASE_ident id) - | _ -> - bug () "tag_or_iso_ty_tup_by_name with non-tag-ctor name" - end - | Ast.NAME_ext (inner_name, _) -> tag_ctor_name_to_tag_name inner_name + Ast.NAME_base (Ast.BASE_ident _) -> name + | Ast.NAME_base (Ast.BASE_app (id, _)) -> + Ast.NAME_base (Ast.BASE_ident id) + + | Ast.NAME_ext (_, Ast.COMP_ident id) + | Ast.NAME_ext (_, Ast.COMP_app (id, _)) -> + Ast.NAME_base (Ast.BASE_ident id) + + | _ -> bug () "tag_or_iso_ty_tup_by_name with non-tag-ctor name" ;; let tag_or_iso_ty_tup_by_name (ty:Ast.ty) (name:Ast.name) : Ast.ty_tup = |