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