summaryrefslogtreecommitdiff
path: root/src/compiler.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/compiler.sig')
-rw-r--r--src/compiler.sig5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/compiler.sig b/src/compiler.sig
index 971ddf53..a56a679a 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -72,9 +72,12 @@ signature COMPILER = sig
val check : ('src, 'dst) transform -> 'src -> unit
val run : ('src, 'dst) transform -> 'src -> 'dst option
val runPrint : ('src, 'dst) transform -> 'src -> unit
+ val runPrintToFile : ('src, 'dst) transform -> 'src -> string -> unit
val time : ('src, 'dst) transform -> 'src -> unit
val timePrint : ('src, 'dst) transform -> 'src -> unit
+ val runPrintCoreFuncs : ('src, Core.file) transform -> 'src -> unit
+
val parseUr : (string, Source.file) phase
val parseUrs : (string, Source.sgn_item list) phase
val parseUrp : (string, job) phase
@@ -122,6 +125,8 @@ signature COMPILER = sig
val toCorify : (string, Core.file) transform
val toCore_untangle : (string, Core.file) transform
val toShake1 : (string, Core.file) transform
+ val toEspecialize1' : (string, Core.file) transform
+ val toShake1' : (string, Core.file) transform
val toRpcify : (string, Core.file) transform
val toCore_untangle2 : (string, Core.file) transform
val toShake2 : (string, Core.file) transform