Mercurial > urweb

comparison src/compiler.sig @ 134:18299126a343

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MonoShake
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 13:12:16 -0400
parents 55d8cfa4d024
children c0ea24dcb86f
comparison
equal deleted inserted replaced
133:55d8cfa4d024 134:18299126a343
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_reduce : job -> Mono.file option
53 val mono_shake : job -> Mono.file option
53 val mono_opt : job -> Mono.file option 54 val mono_opt : job -> Mono.file option
54 val cjrize : job -> Cjr.file option 55 val cjrize : job -> Cjr.file option
55 56
56 val testParse : job -> unit 57 val testParse : job -> unit
57 val testElaborate : job -> unit 58 val testElaborate : job -> unit
63 val testShake : job -> unit 64 val testShake : job -> unit
64 val testMonoize : job -> unit 65 val testMonoize : job -> unit
65 val testMono_opt' : job -> unit 66 val testMono_opt' : job -> unit
66 val testUntangle : job -> unit 67 val testUntangle : job -> unit
67 val testMono_reduce : job -> unit 68 val testMono_reduce : job -> unit
69 val testMono_shake : job -> unit
68 val testMono_opt : job -> unit 70 val testMono_opt : job -> unit
69 val testCjrize : job -> unit 71 val testCjrize : job -> unit
70 72
71 end 73 end