diff src/sidecheck.sig @ 2226:e10881cd92da

Merge.
author Ziv Scully <ziv@mit.edu>
date Fri, 27 Mar 2015 11:26:06 -0400
parents ebfaab689570
children
line wrap: on
line diff
--- a/src/sidecheck.sig	Fri Mar 27 11:19:15 2015 -0400
+++ b/src/sidecheck.sig	Fri Mar 27 11:26:06 2015 -0400
@@ -29,4 +29,9 @@
 
     val check : Mono.file -> Mono.file
 
+    (* While we're checking, we'll do some other signature-related work, recording
+     * which environment variables are read.  This function conveys the list,
+     * coming from the most recent call to [check]. *)
+    val readEnvVars : unit -> string list
+
 end