diff options
| author | Marijn Haverbeke <[email protected]> | 2011-04-08 18:29:14 +0200 |
|---|---|---|
| committer | Marijn Haverbeke <[email protected]> | 2011-04-08 18:44:58 +0200 |
| commit | 6109dba305d68db42865c07881d7ffb6d71a1127 (patch) | |
| tree | fbdcba185f3391e1e8fd347724a761c5701822f3 /src/boot | |
| parent | Avoid some gotchas with logging macros (diff) | |
| download | rust-6109dba305d68db42865c07881d7ffb6d71a1127.tar.xz rust-6109dba305d68db42865c07881d7ffb6d71a1127.zip | |
Disable effect checking in rustboot
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 + *) + () ;; (* |