From a98b2ebb4ad090d3d7eaa9ab3b1d98be0867e990 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 3 Dec 2010 12:15:32 -0800
Subject: Change 'stratum' to the friendlier term 'layer'.

---
 src/boot/driver/llvm/glue.ml | 2 +-
 src/boot/driver/main.ml      | 8 ++++----
 src/boot/driver/session.ml   | 2 +-
 3 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/boot/driver')

diff --git a/src/boot/driver/llvm/glue.ml b/src/boot/driver/llvm/glue.ml
index da5e5b9d..c1dc2894 100644
--- a/src/boot/driver/llvm/glue.ml
+++ b/src/boot/driver/llvm/glue.ml
@@ -18,7 +18,7 @@ let alt_pipeline sess sem_cx crate =
       Simplify.process_crate;
       Type.process_crate;
       Typestate.process_crate;
-      Stratum.process_crate;
+      Layer.process_crate;
       Effect.process_crate;
       Loop.process_crate;
       Alias.process_crate;
diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml
index 82057766..2bbc832b 100644
--- a/src/boot/driver/main.ml
+++ b/src/boot/driver/main.ml
@@ -38,7 +38,7 @@ let (sess:Session.sess) =
     Session.sess_log_resolve = false;
     Session.sess_log_type = false;
     Session.sess_log_simplify = false;
-    Session.sess_log_stratum = false;
+    Session.sess_log_layer = false;
     Session.sess_log_effect = false;
     Session.sess_log_typestate = false;
     Session.sess_log_loop = false;
@@ -180,8 +180,8 @@ let argspecs =
        "-ltype"     "log type checking");
     (flag (fun _ -> sess.Session.sess_log_simplify <- true)
        "-lsimplify" "log simplification");
-    (flag (fun _ -> sess.Session.sess_log_stratum <- true)
-       "-lstratum"  "log stratum checking");
+    (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)
@@ -396,7 +396,7 @@ let main_pipeline _ =
          Simplify.process_crate;
          Type.process_crate;
          Typestate.process_crate;
-         Stratum.process_crate;
+         Layer.process_crate;
          Effect.process_crate;
          Loop.process_crate;
          Alias.process_crate;
diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml
index d79b7d20..0b02096f 100644
--- a/src/boot/driver/session.ml
+++ b/src/boot/driver/session.ml
@@ -24,7 +24,7 @@ type sess =
   mutable sess_log_resolve: bool;
   mutable sess_log_type: bool;
   mutable sess_log_simplify: bool;
-  mutable sess_log_stratum: bool;
+  mutable sess_log_layer: bool;
   mutable sess_log_effect: bool;
   mutable sess_log_typestate: bool;
   mutable sess_log_dead: bool;
-- 
cgit v1.2.3