comparison src/sidecheck.sig @ 2226:e10881cd92da

Merge.
author Ziv Scully <ziv@mit.edu>
date Fri, 27 Mar 2015 11:26:06 -0400
parents ebfaab689570
children
comparison
equal deleted inserted replaced
2225:6262dabc08d6 2226:e10881cd92da
27 27
28 signature SIDE_CHECK = sig 28 signature SIDE_CHECK = sig
29 29
30 val check : Mono.file -> Mono.file 30 val check : Mono.file -> Mono.file
31 31
32 (* While we're checking, we'll do some other signature-related work, recording
33 * which environment variables are read. This function conveys the list,
34 * coming from the most recent call to [check]. *)
35 val readEnvVars : unit -> string list
36
32 end 37 end