comparison src/compiler.sig @ 1020:dfe34fad749d

RPC uses VM support for call/cc
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 14:07:10 -0400
parents 34ba25d6af3b
children 36efaf119b85
comparison
equal deleted inserted replaced
1019:68ba074e260f 1020:dfe34fad749d
84 val rpcify : (Core.file, Core.file) phase 84 val rpcify : (Core.file, Core.file) phase
85 val tag : (Core.file, Core.file) phase 85 val tag : (Core.file, Core.file) phase
86 val reduce : (Core.file, Core.file) phase 86 val reduce : (Core.file, Core.file) phase
87 val unpoly : (Core.file, Core.file) phase 87 val unpoly : (Core.file, Core.file) phase
88 val specialize : (Core.file, Core.file) phase 88 val specialize : (Core.file, Core.file) phase
89 val tailify : (Core.file, Core.file) phase
90 val marshalcheck : (Core.file, Core.file) phase 89 val marshalcheck : (Core.file, Core.file) phase
91 val effectize : (Core.file, Core.file) phase 90 val effectize : (Core.file, Core.file) phase
92 val monoize : (Core.file, Mono.file) phase 91 val monoize : (Core.file, Mono.file) phase
93 val mono_opt : (Mono.file, Mono.file) phase 92 val mono_opt : (Mono.file, Mono.file) phase
94 val untangle : (Mono.file, Mono.file) phase 93 val untangle : (Mono.file, Mono.file) phase
119 val toReduce : (string, Core.file) transform 118 val toReduce : (string, Core.file) transform
120 val toUnpoly : (string, Core.file) transform 119 val toUnpoly : (string, Core.file) transform
121 val toSpecialize : (string, Core.file) transform 120 val toSpecialize : (string, Core.file) transform
122 val toShake3 : (string, Core.file) transform 121 val toShake3 : (string, Core.file) transform
123 val toEspecialize : (string, Core.file) transform 122 val toEspecialize : (string, Core.file) transform
124 val toTailify : (string, Core.file) transform
125 val toReduce2 : (string, Core.file) transform 123 val toReduce2 : (string, Core.file) transform
126 val toShake4 : (string, Core.file) transform 124 val toShake4 : (string, Core.file) transform
127 val toMarshalcheck : (string, Core.file) transform 125 val toMarshalcheck : (string, Core.file) transform
128 val toEffectize : (string, Core.file) transform 126 val toEffectize : (string, Core.file) transform
129 val toMonoize : (string, Mono.file) transform 127 val toMonoize : (string, Mono.file) transform