diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/effect.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml index 5a9b8106..b3e81864 100644 --- a/src/boot/me/effect.ml +++ b/src/boot/me/effect.ml @@ -278,9 +278,9 @@ let effect_checking_visitor let process_crate - (cx:ctxt) - (crate:Ast.crate) - : unit = + (_cx:ctxt) + (_crate:Ast.crate) + : unit = (* let item_auth = Hashtbl.create 0 in let item_effect = Hashtbl.create 0 in let passes = @@ -303,6 +303,8 @@ let process_crate Hashtbl.iter auth_effect crate.node.Ast.crate_auth; run_passes cx "effect" passes cx.ctxt_sess.Session.sess_log_effect log crate + *) + () ;; (* |