diff options
Diffstat (limited to 'src/boot/me/walk.ml')
| -rw-r--r-- | src/boot/me/walk.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/boot/me/walk.ml b/src/boot/me/walk.ml index 09cde999..7b89cbd8 100644 --- a/src/boot/me/walk.ml +++ b/src/boot/me/walk.ml @@ -173,6 +173,9 @@ and walk_mod_item let children _ = match item.node.Ast.decl_item with Ast.MOD_ITEM_type (_, ty) -> walk_ty v ty + | Ast.MOD_ITEM_const (ty, e) -> + walk_ty v ty; + walk_option (walk_expr v) e | Ast.MOD_ITEM_fn f -> walk_fn v f item.id | Ast.MOD_ITEM_tag (hdr, _, _) -> walk_header_slots v hdr |