diff options
Diffstat (limited to 'src/boot/fe/ast.ml')
| -rw-r--r-- | src/boot/fe/ast.ml | 27 |
1 files changed, 2 insertions, 25 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index f498fb0e..c2387c5a 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -28,10 +28,7 @@ type slot_key = write foo[int,int].bar but not foo.bar. *) -type effect = - EFF_pure - | EFF_impure - | EFF_unsafe +type auth = AUTH_unsafe ;; type layer = @@ -174,7 +171,6 @@ and ty_sig = and ty_fn_aux = { fn_is_iter: bool; - fn_effect: effect; } and ty_fn = (ty_sig * ty_fn_aux) @@ -485,7 +481,7 @@ and crate' = { crate_items: (mod_view * mod_items); crate_meta: Session.meta; - crate_auth: (name, effect) Hashtbl.t; + crate_auth: (name, auth) Hashtbl.t; crate_required: (node_id, (required_lib * nabi_conv)) Hashtbl.t; crate_required_syms: (node_id, string) Hashtbl.t; crate_files: (node_id,filename) Hashtbl.t; @@ -708,22 +704,6 @@ and fmt_slots done; fmt ff "@])" -and fmt_effect - (ff:Format.formatter) - (effect:effect) - : unit = - match effect with - EFF_pure -> () - | EFF_impure -> fmt ff "impure" - | EFF_unsafe -> fmt ff "unsafe" - -and fmt_effect_qual - (ff:Format.formatter) - (e:effect) - : unit = - fmt_effect ff e; - if e <> EFF_pure then fmt ff " "; - and fmt_layer (ff:Format.formatter) (la:layer) @@ -762,7 +742,6 @@ and fmt_ty_fn (tf:ty_fn) : unit = let (tsig, ta) = tf in - fmt_effect_qual ff ta.fn_effect; fmt ff "%s" (if ta.fn_is_iter then "iter" else "fn"); begin match ident_and_params with @@ -1667,7 +1646,6 @@ and fmt_fn (f:fn) : unit = fmt_obox ff; - fmt_effect_qual ff f.fn_aux.fn_effect; fmt ff "%s "(if f.fn_aux.fn_is_iter then "iter" else "fn"); fmt_ident_and_params ff id params; fmt_header_slots ff f.fn_input_slots; @@ -1816,7 +1794,6 @@ let sprintf_atom = sprintf_fmt fmt_atom;; let sprintf_slot = sprintf_fmt fmt_slot;; let sprintf_slot_key = sprintf_fmt fmt_slot_key;; let sprintf_ty = sprintf_fmt fmt_ty;; -let sprintf_effect = sprintf_fmt fmt_effect;; let sprintf_carg = sprintf_fmt fmt_carg;; let sprintf_constr = sprintf_fmt fmt_constr;; let sprintf_mod_item = |