Skip to content

Commit 6109dba

Browse files
committed
Disable effect checking in rustboot
1 parent b883ec4 commit 6109dba

File tree

7 files changed

+5
-55
lines changed

7 files changed

+5
-55
lines changed

src/boot/me/effect.ml

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -278,9 +278,9 @@ let effect_checking_visitor
278278

279279

280280
let process_crate
281-
(cx:ctxt)
282-
(crate:Ast.crate)
283-
: unit =
281+
(_cx:ctxt)
282+
(_crate:Ast.crate)
283+
: unit = (*
284284
let item_auth = Hashtbl.create 0 in
285285
let item_effect = Hashtbl.create 0 in
286286
let passes =
@@ -303,6 +303,8 @@ let process_crate
303303
Hashtbl.iter auth_effect crate.node.Ast.crate_auth;
304304
run_passes cx "effect" passes
305305
cx.ctxt_sess.Session.sess_log_effect log crate
306+
*)
307+
()
306308
;;
307309

308310
(*

src/test/compile-fail/comm-makes-io.rs

Lines changed: 0 additions & 7 deletions
This file was deleted.

src/test/compile-fail/io-infects-caller.rs

Lines changed: 0 additions & 11 deletions
This file was deleted.

src/test/compile-fail/native-makes-unsafe.rs

Lines changed: 0 additions & 10 deletions
This file was deleted.

src/test/compile-fail/unnecessary-io.rs

Lines changed: 0 additions & 5 deletions
This file was deleted.

src/test/compile-fail/unnecessary-unsafe.rs

Lines changed: 0 additions & 5 deletions
This file was deleted.

src/test/compile-fail/unsafe-infects-caller.rs

Lines changed: 0 additions & 14 deletions
This file was deleted.

0 commit comments

Comments
 (0)