diff 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
line wrap: on
line diff
--- a/src/compiler.sig	Thu May 27 15:10:52 2010 -0400
+++ b/src/compiler.sig	Thu May 27 16:36:17 2010 -0400
@@ -169,4 +169,6 @@
     val addPath : string * string -> unit
     val addModuleRoot : string * string -> unit
 
+    val moduleOf : string -> string
+
 end