From 6a0b06e56287f1de7ff096ed79fbf86e1e527290 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 30 Jun 2010 22:45:54 -0700 Subject: Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; keep MEM_interior for describing interior-parts-of-allocations) --- src/boot/fe/ast.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src/boot/fe/ast.ml') diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index 21726234..e3360f31 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -88,7 +88,7 @@ and ty = | TY_named of name | TY_type - | TY_exterior of ty + | TY_box of ty | TY_mutable of ty | TY_constrained of (ty * constrs) @@ -100,7 +100,7 @@ and ty = *) and mode = - | MODE_interior + | MODE_local | MODE_alias and slot = { slot_mode: mode; @@ -201,7 +201,7 @@ and stmt' = | STMT_init_str of (lval * string) | STMT_init_port of lval | STMT_init_chan of (lval * (lval option)) - | STMT_init_exterior of (lval * atom) + | STMT_init_box of (lval * atom) | STMT_copy of (lval * expr) | STMT_copy_binop of (lval * binop * atom) | STMT_call of (lval * lval * (atom array)) @@ -523,7 +523,7 @@ and fmt_name (ff:Format.formatter) (n:name) : unit = and fmt_mode (ff:Format.formatter) (m:mode) : unit = match m with | MODE_alias -> fmt ff "&" - | MODE_interior -> () + | MODE_local -> () and fmt_slot (ff:Format.formatter) (s:slot) : unit = match s.slot_ty with @@ -656,7 +656,7 @@ and fmt_ty (ff:Format.formatter) (t:ty) : unit = | TY_named n -> fmt_name ff n | TY_type -> fmt ff "type" - | TY_exterior t -> + | TY_box t -> fmt ff "@@"; fmt_ty ff t @@ -1167,7 +1167,7 @@ and fmt_stmt_body (ff:Format.formatter) (s:stmt) : unit = fmt_lval ff t; fmt ff ";" - | STMT_init_exterior (lv, at) -> + | STMT_init_box (lv, at) -> fmt_lval ff lv; fmt ff " = @@"; fmt_atom ff at; -- cgit v1.2.3