diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-22 11:04:10 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 11:04:10 -0400 |
| commit | 2500639bb374dc42be1a82bb10b0437cbba49ad1 (patch) | |
| tree | 57732a378b045f88dbd16acda97a81e150e45707 /src/compiler.sig | |
| parent | ebf05a538b3de96189fefaabb68613e58a2f9f51 (diff) | |
Parsing signature files
Diffstat (limited to 'src/compiler.sig')
| -rw-r--r-- | src/compiler.sig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler.sig b/src/compiler.sig index eac2c538..872ae0fc 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -31,6 +31,9 @@ signature COMPILER = sig val compile : string -> unit + val parseLig : string -> Source.sgn_item list option + val testLig : string -> unit + val parse : string -> Source.file option val elaborate : ElabEnv.env -> string -> (Elab.file * ElabEnv.env) option val explify : ElabEnv.env -> string -> Expl.file option |