Mercurial > urweb
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 |