diff options
Diffstat (limited to 'src/boot/me/resolve.ml')
| -rw-r--r-- | src/boot/me/resolve.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/boot/me/resolve.ml b/src/boot/me/resolve.ml index d957e3b7..1be2e3b9 100644 --- a/src/boot/me/resolve.ml +++ b/src/boot/me/resolve.ml @@ -495,6 +495,9 @@ let type_resolving_visitor | Ast.COMP_atom (Ast.ATOM_literal _) -> ext | Ast.COMP_atom (Ast.ATOM_lval lv) -> Ast.COMP_atom (Ast.ATOM_lval (rebuild_lval lv)) + | Ast.COMP_atom (Ast.ATOM_pexp _) -> + bug () "Resolve.rebuild_lval' on ATOM_pexp" + | Ast.COMP_named (Ast.COMP_app (ident, params)) -> Ast.COMP_named (Ast.COMP_app (ident, Array.map resolve_ty params)) |