comparison src/compiler.sig @ 1266:459a334345ae

-moduleOf command-line option; compatibility fixes and better error messages for SQLite
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 May 2010 16:36:17 -0400
parents a7b773f1d053
children 56bd4a4f6e66
comparison
equal deleted inserted replaced
1265:e8d68fd8ed4b 1266:459a334345ae
167 val doIflow : bool ref 167 val doIflow : bool ref
168 168
169 val addPath : string * string -> unit 169 val addPath : string * string -> unit
170 val addModuleRoot : string * string -> unit 170 val addModuleRoot : string * string -> unit
171 171
172 val moduleOf : string -> string
173
172 end 174 end