diff options
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 |