Mercurial > urweb

comparison src/compiler.sig @ 133:55d8cfa4d024

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MonoReduce
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 12:59:52 -0400
parents 25b28625d4df
children 18299126a343
comparison
equal deleted inserted replaced
132:25b28625d4df 133:55d8cfa4d024
47 val reduce : job -> Core.file option 47 val reduce : job -> Core.file option
48 val shake : job -> Core.file option 48 val shake : job -> Core.file option
49 val monoize : job -> Mono.file option 49 val monoize : job -> Mono.file option
50 val mono_opt' : job -> Mono.file option 50 val mono_opt' : job -> Mono.file option
51 val untangle : job -> Mono.file option 51 val untangle : job -> Mono.file option
52 val mono_reduce : job -> Mono.file option
52 val mono_opt : job -> Mono.file option 53 val mono_opt : job -> Mono.file option
53 val cjrize : job -> Cjr.file option 54 val cjrize : job -> Cjr.file option
54 55
55 val testParse : job -> unit 56 val testParse : job -> unit
56 val testElaborate : job -> unit 57 val testElaborate : job -> unit
61 val testReduce : job -> unit 62 val testReduce : job -> unit
62 val testShake : job -> unit 63 val testShake : job -> unit
63 val testMonoize : job -> unit 64 val testMonoize : job -> unit
64 val testMono_opt' : job -> unit 65 val testMono_opt' : job -> unit
65 val testUntangle : job -> unit 66 val testUntangle : job -> unit
67 val testMono_reduce : job -> unit
66 val testMono_opt : job -> unit 68 val testMono_opt : job -> unit
67 val testCjrize : job -> unit 69 val testCjrize : job -> unit
68 70
69 end 71 end