comparison src/compiler.sig @ 957:2831be2daf2e

Grid changed to use Dlist.replace; filters stopped working
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Sep 2009 19:01:04 -0400
parents b873feb3eb52
children 34ba25d6af3b
comparison
equal deleted inserted replaced
956:d80734855790 957:2831be2daf2e
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
89 val marshalcheck : (Core.file, Core.file) phase 90 val marshalcheck : (Core.file, Core.file) phase
90 val effectize : (Core.file, Core.file) phase 91 val effectize : (Core.file, Core.file) phase
91 val monoize : (Core.file, Mono.file) phase 92 val monoize : (Core.file, Mono.file) phase
92 val mono_opt : (Mono.file, Mono.file) phase 93 val mono_opt : (Mono.file, Mono.file) phase
93 val untangle : (Mono.file, Mono.file) phase 94 val untangle : (Mono.file, Mono.file) phase
118 val toReduce : (string, Core.file) transform 119 val toReduce : (string, Core.file) transform
119 val toUnpoly : (string, Core.file) transform 120 val toUnpoly : (string, Core.file) transform
120 val toSpecialize : (string, Core.file) transform 121 val toSpecialize : (string, Core.file) transform
121 val toShake3 : (string, Core.file) transform 122 val toShake3 : (string, Core.file) transform
122 val toEspecialize : (string, Core.file) transform 123 val toEspecialize : (string, Core.file) transform
124 val toTailify : (string, Core.file) transform
123 val toReduce2 : (string, Core.file) transform 125 val toReduce2 : (string, Core.file) transform
124 val toShake4 : (string, Core.file) transform 126 val toShake4 : (string, Core.file) transform
125 val toMarshalcheck : (string, Core.file) transform 127 val toMarshalcheck : (string, Core.file) transform
126 val toEffectize : (string, Core.file) transform 128 val toEffectize : (string, Core.file) transform
127 val toMonoize : (string, Mono.file) transform 129 val toMonoize : (string, Mono.file) transform