summaryrefslogtreecommitdiff
path: root/src/compiler.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-22 11:04:10 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-22 11:04:10 -0400
commit2500639bb374dc42be1a82bb10b0437cbba49ad1 (patch)
tree57732a378b045f88dbd16acda97a81e150e45707 /src/compiler.sig
parentebf05a538b3de96189fefaabb68613e58a2f9f51 (diff)
Parsing signature files
Diffstat (limited to 'src/compiler.sig')
-rw-r--r--src/compiler.sig3
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