Skip to content

Commit

Permalink
Disable effect checking in rustboot
Browse files Browse the repository at this point in the history
  • Loading branch information
marijnh committed Apr 8, 2011
1 parent b883ec4 commit 6109dba
Show file tree
Hide file tree
Showing 7 changed files with 5 additions and 55 deletions.
8 changes: 5 additions & 3 deletions src/boot/me/effect.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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 =
Expand All @@ -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
*)
()
;;

(*
Expand Down
7 changes: 0 additions & 7 deletions src/test/compile-fail/comm-makes-io.rs

This file was deleted.

11 changes: 0 additions & 11 deletions src/test/compile-fail/io-infects-caller.rs

This file was deleted.

10 changes: 0 additions & 10 deletions src/test/compile-fail/native-makes-unsafe.rs

This file was deleted.

5 changes: 0 additions & 5 deletions src/test/compile-fail/unnecessary-io.rs

This file was deleted.

5 changes: 0 additions & 5 deletions src/test/compile-fail/unnecessary-unsafe.rs

This file was deleted.

14 changes: 0 additions & 14 deletions src/test/compile-fail/unsafe-infects-caller.rs

This file was deleted.

0 comments on commit 6109dba

Please sign in to comment.