aboutsummaryrefslogtreecommitdiff
path: root/src/boot/driver/session.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-11-03 09:50:25 -0700
committerGraydon Hoare <[email protected]>2010-11-03 09:50:25 -0700
commit1e22a55ff25612753665a76eb3b83628379334a0 (patch)
treea051f47d2326dfce3b4e8f26abe88dac5563dd44 /src/boot/driver/session.ml
parentShift obj, type, param decls to have strata rather than effects. (diff)
downloadrust-1e22a55ff25612753665a76eb3b83628379334a0.tar.xz
rust-1e22a55ff25612753665a76eb3b83628379334a0.zip
Code sketch and comment notes on textual crate signatures.
Diffstat (limited to 'src/boot/driver/session.ml')
-rw-r--r--src/boot/driver/session.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml
index 49242ac6..d79b7d20 100644
--- a/src/boot/driver/session.ml
+++ b/src/boot/driver/session.ml
@@ -19,6 +19,7 @@ type sess =
mutable sess_log_lex: bool;
mutable sess_log_parse: bool;
mutable sess_log_ast: bool;
+ mutable sess_log_sig: bool;
mutable sess_log_passes: bool;
mutable sess_log_resolve: bool;
mutable sess_log_type: bool;