diff options
| author | Graydon Hoare <graydon@mozilla.com> | 2011-04-19 13:35:49 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2011-04-19 13:35:49 -0700 |
| commit | d2bd07dcb02783063375b6c8532fceaf9fa9d50f (patch) | |
| tree | a253b5eadb140d14bc99d1456e316ce1e210a6be /src/boot/driver | |
| parent | d9d5eb82a7af56c60fe09aff5d73a2fb525d7f57 (diff) | |
Remove effect system from src.
Diffstat (limited to 'src/boot/driver')
| -rw-r--r-- | src/boot/driver/main.ml | 4 | ||||
| -rw-r--r-- | src/boot/driver/session.ml | 1 |
2 files changed, 0 insertions, 5 deletions
diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml index 44586be3f9f..0871d306505 100644 --- a/src/boot/driver/main.ml +++ b/src/boot/driver/main.ml @@ -43,7 +43,6 @@ let (sess:Session.sess) = Session.sess_log_type = false; Session.sess_log_simplify = false; Session.sess_log_layer = false; - Session.sess_log_effect = false; Session.sess_log_typestate = false; Session.sess_log_loop = false; Session.sess_log_alias = false; @@ -192,8 +191,6 @@ let argspecs = "-lsimplify" "log simplification"); (flag (fun _ -> sess.Session.sess_log_layer <- true) "-llayer" "log layer checking"); - (flag (fun _ -> sess.Session.sess_log_effect <- true) - "-leffect" "log effect checking"); (flag (fun _ -> sess.Session.sess_log_typestate <- true) "-ltypestate" "log typestate pass"); (flag (fun _ -> sess.Session.sess_log_loop <- true) @@ -408,7 +405,6 @@ let main_pipeline _ = Type.process_crate; Typestate.process_crate; Layer.process_crate; - Effect.process_crate; Loop.process_crate; Alias.process_crate; Dead.process_crate; diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml index ac56f855b81..2f38ba4df9f 100644 --- a/src/boot/driver/session.ml +++ b/src/boot/driver/session.ml @@ -25,7 +25,6 @@ type sess = mutable sess_log_type: bool; mutable sess_log_simplify: bool; mutable sess_log_layer: bool; - mutable sess_log_effect: bool; mutable sess_log_typestate: bool; mutable sess_log_dead: bool; mutable sess_log_loop: bool; |