diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-12 14:55:05 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-12 14:55:05 -0400 |
| commit | 4a22e79410139a25a9615275c3b9adcd165a5988 (patch) | |
| tree | 38b23a70c25c0af58de437fc19e15c9156dcb6eb /src/compiler.sig | |
| parent | 473b85f2ac12ce80a1fa4c3216acffab50a65561 (diff) | |
Finish moving all phases to the new interface
Diffstat (limited to 'src/compiler.sig')
| -rw-r--r-- | src/compiler.sig | 26 |
1 files changed, 24 insertions, 2 deletions
diff --git a/src/compiler.sig b/src/compiler.sig index 6bc80748..2594a0c7 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -30,7 +30,7 @@ signature COMPILER = sig type job = string list - (*val compile : job -> unit*) + val compile : job -> unit val compileC : {cname : string, oname : string, ename : string} -> unit type ('src, 'dst) phase @@ -51,10 +51,32 @@ signature COMPILER = sig val elaborate : (Source.file, Elab.file) phase val explify : (Elab.file, Expl.file) phase val corify : (Expl.file, Core.file) phase + val shake : (Core.file, Core.file) phase + val tag : (Core.file, Core.file) phase + val reduce : (Core.file, Core.file) phase + val specialize : (Core.file, Core.file) phase + val monoize : (Core.file, Mono.file) phase + val mono_opt : (Mono.file, Mono.file) phase + val untangle : (Mono.file, Mono.file) phase + val mono_reduce : (Mono.file, Mono.file) phase + val mono_shake : (Mono.file, Mono.file) phase + val cjrize : (Mono.file, Cjr.file) phase val toParse : (job, Source.file) transform val toElaborate : (job, Elab.file) transform val toExplify : (job, Expl.file) transform - val toCorify : (job, Core.file) transform + val toCorify : (job, Core.file) transform + val toShake1 : (job, Core.file) transform + val toTag : (job, Core.file) transform + val toReduce : (job, Core.file) transform + val toSpecialize : (job, Core.file) transform + val toShake2 : (job, Core.file) transform + val toMonoize : (job, Mono.file) transform + val toMono_opt1 : (job, Mono.file) transform + val toUntangle : (job, Mono.file) transform + val toMono_reduce : (job, Mono.file) transform + val toMono_shake : (job, Mono.file) transform + val toMono_opt2 : (job, Mono.file) transform + val toCjrize : (job, Cjr.file) transform end |