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