Mercurial > urweb
comparison src/compiler.sig @ 26:4ab19c19665f
Closure conversion
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Jun 2008 15:56:33 -0400 |
parents | 0a762c73824d |
children | 537db4ee89f4 |
comparison
equal
deleted
inserted
replaced
25:0a762c73824d | 26:4ab19c19665f |
---|---|
33 val elaborate : ElabEnv.env -> string -> (ElabEnv.env * Elab.file) option | 33 val elaborate : ElabEnv.env -> string -> (ElabEnv.env * Elab.file) option |
34 val corify : ElabEnv.env -> CoreEnv.env -> string -> Core.file option | 34 val corify : ElabEnv.env -> CoreEnv.env -> string -> Core.file option |
35 val reduce : ElabEnv.env -> CoreEnv.env -> string -> Core.file option | 35 val reduce : ElabEnv.env -> CoreEnv.env -> string -> Core.file option |
36 val shake : ElabEnv.env -> CoreEnv.env -> string -> Core.file option | 36 val shake : ElabEnv.env -> CoreEnv.env -> string -> Core.file option |
37 val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option | 37 val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option |
38 val cloconv : ElabEnv.env -> CoreEnv.env -> string -> Flat.file option | |
38 | 39 |
39 val testParse : string -> unit | 40 val testParse : string -> unit |
40 val testElaborate : string -> unit | 41 val testElaborate : string -> unit |
41 val testCorify : string -> unit | 42 val testCorify : string -> unit |
42 val testReduce : string -> unit | 43 val testReduce : string -> unit |
43 val testShake : string -> unit | 44 val testShake : string -> unit |
44 val testMonoize : string -> unit | 45 val testMonoize : string -> unit |
46 val testCloconv : string -> unit | |
45 | 47 |
46 end | 48 end |