comparison src/compiler.sig @ 642:4a125bbc602d

Conversion of functions to CPS, to facilitate ServerCall
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Mar 2009 20:34:21 -0400
parents 0dd40b6bfdf3
children aa2290c32ce2
comparison
equal deleted inserted replaced
641:b98f547a6a45 642:4a125bbc602d
92 val toCorify : (string, Core.file) transform 92 val toCorify : (string, Core.file) transform
93 val toEspecialize : (string, Core.file) transform 93 val toEspecialize : (string, Core.file) transform
94 val toCore_untangle : (string, Core.file) transform 94 val toCore_untangle : (string, Core.file) transform
95 val toShake1 : (string, Core.file) transform 95 val toShake1 : (string, Core.file) transform
96 val toRpcify : (string, Core.file) transform 96 val toRpcify : (string, Core.file) transform
97 val toCore_untangle2 : (string, Core.file) transform
98 val toShake2 : (string, Core.file) transform
97 val toTag : (string, Core.file) transform 99 val toTag : (string, Core.file) transform
98 val toReduce : (string, Core.file) transform 100 val toReduce : (string, Core.file) transform
99 val toUnpoly : (string, Core.file) transform 101 val toUnpoly : (string, Core.file) transform
100 val toSpecialize : (string, Core.file) transform 102 val toSpecialize : (string, Core.file) transform
101 val toShake2 : (string, Core.file) transform 103 val toShake3 : (string, Core.file) transform
102 val toMonoize : (string, Mono.file) transform 104 val toMonoize : (string, Mono.file) transform
103 val toMono_opt1 : (string, Mono.file) transform 105 val toMono_opt1 : (string, Mono.file) transform
104 val toUntangle : (string, Mono.file) transform 106 val toUntangle : (string, Mono.file) transform
105 val toMono_reduce : (string, Mono.file) transform 107 val toMono_reduce : (string, Mono.file) transform
106 val toMono_shake : (string, Mono.file) transform 108 val toMono_shake : (string, Mono.file) transform