comparison src/compiler.sig @ 132:25b28625d4df

Proper topological sorting in untangle
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 12:40:21 -0400
parents 5df655503288
children 55d8cfa4d024
comparison
equal deleted inserted replaced
131:5df655503288 132:25b28625d4df
45 val shake' : job -> Core.file option 45 val shake' : job -> Core.file option
46 val tag : job -> Core.file option 46 val tag : job -> Core.file option
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 untangle : job -> Mono.file option 51 val untangle : job -> Mono.file option
51 val mono_opt : job -> Mono.file option 52 val mono_opt : job -> Mono.file option
52 val cjrize : job -> Cjr.file option 53 val cjrize : job -> Cjr.file option
53 54
54 val testParse : job -> unit 55 val testParse : job -> unit
58 val testShake' : job -> unit 59 val testShake' : job -> unit
59 val testTag : job -> unit 60 val testTag : job -> unit
60 val testReduce : job -> unit 61 val testReduce : job -> unit
61 val testShake : job -> unit 62 val testShake : job -> unit
62 val testMonoize : job -> unit 63 val testMonoize : job -> unit
64 val testMono_opt' : job -> unit
65 val testUntangle : job -> unit
63 val testMono_opt : job -> unit 66 val testMono_opt : job -> unit
64 val testUntangle : job -> unit
65 val testCjrize : job -> unit 67 val testCjrize : job -> unit
66 68
67 end 69 end