Mercurial > urweb
comparison src/corify.sig @ 768:3b7e46790fa7
Path rewriting
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 02 May 2009 13:23:07 -0400 |
| parents | 6fd102fa28f9 |
| children |
comparison
equal
deleted
inserted
replaced
| 767:d27ed5ddeb52 | 768:3b7e46790fa7 |
|---|---|
| 25 * POSSIBILITY OF SUCH DAMAGE. | 25 * POSSIBILITY OF SUCH DAMAGE. |
| 26 *) | 26 *) |
| 27 | 27 |
| 28 signature CORIFY = sig | 28 signature CORIFY = sig |
| 29 | 29 |
| 30 val restify : (string -> string) ref | |
| 31 (** Consulted to determine how to rewrite persistent paths *) | |
| 32 | |
| 33 val corify : Expl.file -> Core.file | 30 val corify : Expl.file -> Core.file |
| 34 | 31 |
| 35 end | 32 end |