diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-05-27 16:36:17 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-05-27 16:36:17 -0400 |
| commit | d6b698a6ad00a5f707ae48af039388687ac9b4ba (patch) | |
| tree | e323bae4aa24f7a07c4a5c0941b14dc88b97e75a /src/compiler.sig | |
| parent | 0091af30d2d24940404e49b30a6d0e2a0e4ba4e7 (diff) | |
-moduleOf command-line option; compatibility fixes and better error messages for SQLite
Diffstat (limited to 'src/compiler.sig')
| -rw-r--r-- | src/compiler.sig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler.sig b/src/compiler.sig index cc23fe74..16207e8b 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -169,4 +169,6 @@ signature COMPILER = sig val addPath : string * string -> unit val addModuleRoot : string * string -> unit + val moduleOf : string -> string + end |