comparison src/compiler.sig @ 1089:f1647f16097d

Convenience libifying; allow more NULLs with globals
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Dec 2009 15:49:52 -0500
parents 4b2f50829af5
children e77079953308
comparison
equal deleted inserted replaced
1088:5f72a66402f7 1089:f1647f16097d
154 val toChecknest : (string, Cjr.file) transform 154 val toChecknest : (string, Cjr.file) transform
155 val toSqlify : (string, Cjr.file) transform 155 val toSqlify : (string, Cjr.file) transform
156 156
157 val debug : bool ref 157 val debug : bool ref
158 158
159 val addPath : string * string -> unit
160
159 end 161 end