Mercurial > urweb

comparison src/compiler.sig @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children 5df655503288
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
41 val parse : job -> Source.file option 41 val parse : job -> Source.file option
42 val elaborate : job -> Elab.file option 42 val elaborate : job -> Elab.file option
43 val explify : job -> Expl.file option 43 val explify : job -> Expl.file option
44 val corify : job -> Core.file option 44 val corify : job -> Core.file option
45 val shake' : job -> Core.file option 45 val shake' : job -> Core.file option
46 val tag : job -> Core.file option
46 val reduce : job -> Core.file option 47 val reduce : job -> Core.file option
47 val shake : job -> Core.file option 48 val shake : job -> Core.file option
48 val monoize : job -> Mono.file option 49 val monoize : job -> Mono.file option
49 val mono_opt : job -> Mono.file option 50 val mono_opt : job -> Mono.file option
50 val cjrize : job -> Cjr.file option 51 val cjrize : job -> Cjr.file option
52 val testParse : job -> unit 53 val testParse : job -> unit
53 val testElaborate : job -> unit 54 val testElaborate : job -> unit
54 val testExplify : job -> unit 55 val testExplify : job -> unit
55 val testCorify : job -> unit 56 val testCorify : job -> unit
56 val testShake' : job -> unit 57 val testShake' : job -> unit
58 val testTag : job -> unit
57 val testReduce : job -> unit 59 val testReduce : job -> unit
58 val testShake : job -> unit 60 val testShake : job -> unit
59 val testMonoize : job -> unit 61 val testMonoize : job -> unit
60 val testMono_opt : job -> unit 62 val testMono_opt : job -> unit
61 val testCjrize : job -> unit 63 val testCjrize : job -> unit