From 6109dba305d68db42865c07881d7ffb6d71a1127 Mon Sep 17 00:00:00 2001 From: Marijn Haverbeke Date: Fri, 8 Apr 2011 18:29:14 +0200 Subject: Disable effect checking in rustboot --- src/boot/me/effect.ml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/boot') 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 + *) + () ;; (* -- cgit v1.2.3