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 | 4a557ce40dd17eb928bb59c2c2eb6d354f9fef06 (patch) | |
| tree | e323bae4aa24f7a07c4a5c0941b14dc88b97e75a /src/compiler.sig | |
| parent | be9263be5864a7cc94cab5b971af9ff02c26cc70 (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 |