Mercurial > urweb

comparison src/compiler.sig @ 39:02f42e9a1825

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify removes modules
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 12:39:22 -0400
parents d16ef24de78b
children 5c97b7cd912b
comparison
equal deleted inserted replaced
38:d16ef24de78b 39:02f42e9a1825
33 33
34 val parse : string -> Source.file option 34 val parse : string -> Source.file option
35 val elaborate : ElabEnv.env -> string -> (Elab.file * ElabEnv.env) option 35 val elaborate : ElabEnv.env -> string -> (Elab.file * ElabEnv.env) option
36 val explify : ElabEnv.env -> string -> Expl.file option 36 val explify : ElabEnv.env -> string -> Expl.file option
37 val corify : ElabEnv.env -> string -> Core.file option 37 val corify : ElabEnv.env -> string -> Core.file option
38 val shake' : ElabEnv.env -> string -> Core.file option
38 val reduce : ElabEnv.env -> string -> Core.file option 39 val reduce : ElabEnv.env -> string -> Core.file option
39 val shake : ElabEnv.env -> string -> Core.file option 40 val shake : ElabEnv.env -> string -> Core.file option
40 val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option 41 val monoize : ElabEnv.env -> CoreEnv.env -> string -> Mono.file option
41 val cloconv : ElabEnv.env -> CoreEnv.env -> string -> Flat.file option 42 val cloconv : ElabEnv.env -> CoreEnv.env -> string -> Flat.file option
42 val cjrize : ElabEnv.env -> CoreEnv.env -> string -> Cjr.file option 43 val cjrize : ElabEnv.env -> CoreEnv.env -> string -> Cjr.file option
43 44
44 val testParse : string -> unit 45 val testParse : string -> unit
45 val testElaborate : string -> unit 46 val testElaborate : string -> unit
46 val testExplify : string -> unit 47 val testExplify : string -> unit
47 val testCorify : string -> unit 48 val testCorify : string -> unit
49 val testShake' : string -> unit
48 val testReduce : string -> unit 50 val testReduce : string -> unit
49 val testShake : string -> unit 51 val testShake : string -> unit
50 val testMonoize : string -> unit 52 val testMonoize : string -> unit
51 val testCloconv : string -> unit 53 val testCloconv : string -> unit
52 val testCjrize : string -> unit 54 val testCjrize : string -> unit