Mercurial > urweb
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 |