comparison src/compiler.sig @ 692:09df0c85f306

Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 12:54:39 -0400
parents 54ec237a3028
children 5819fb63c93a
comparison
equal deleted inserted replaced
691:cc58941da3e2 692:09df0c85f306
67 val especialize : (Core.file, Core.file) phase 67 val especialize : (Core.file, Core.file) phase
68 val core_untangle : (Core.file, Core.file) phase 68 val core_untangle : (Core.file, Core.file) phase
69 val shake : (Core.file, Core.file) phase 69 val shake : (Core.file, Core.file) phase
70 val rpcify : (Core.file, Core.file) phase 70 val rpcify : (Core.file, Core.file) phase
71 val tag : (Core.file, Core.file) phase 71 val tag : (Core.file, Core.file) phase
72 val marshalcheck : (Core.file, Core.file) phase
73 val reduce : (Core.file, Core.file) phase 72 val reduce : (Core.file, Core.file) phase
74 val unpoly : (Core.file, Core.file) phase 73 val unpoly : (Core.file, Core.file) phase
75 val specialize : (Core.file, Core.file) phase 74 val specialize : (Core.file, Core.file) phase
75 val marshalcheck : (Core.file, Core.file) phase
76 val monoize : (Core.file, Mono.file) phase 76 val monoize : (Core.file, Mono.file) phase
77 val mono_opt : (Mono.file, Mono.file) phase 77 val mono_opt : (Mono.file, Mono.file) phase
78 val untangle : (Mono.file, Mono.file) phase 78 val untangle : (Mono.file, Mono.file) phase
79 val mono_reduce : (Mono.file, Mono.file) phase 79 val mono_reduce : (Mono.file, Mono.file) phase
80 val mono_shake : (Mono.file, Mono.file) phase 80 val mono_shake : (Mono.file, Mono.file) phase
98 val toShake1 : (string, Core.file) transform 98 val toShake1 : (string, Core.file) transform
99 val toRpcify : (string, Core.file) transform 99 val toRpcify : (string, Core.file) transform
100 val toCore_untangle2 : (string, Core.file) transform 100 val toCore_untangle2 : (string, Core.file) transform
101 val toShake2 : (string, Core.file) transform 101 val toShake2 : (string, Core.file) transform
102 val toTag : (string, Core.file) transform 102 val toTag : (string, Core.file) transform
103 val toMarshalcheck : (string, Core.file) transform
104 val toReduce : (string, Core.file) transform 103 val toReduce : (string, Core.file) transform
105 val toUnpoly : (string, Core.file) transform 104 val toUnpoly : (string, Core.file) transform
106 val toSpecialize : (string, Core.file) transform 105 val toSpecialize : (string, Core.file) transform
107 val toShake3 : (string, Core.file) transform 106 val toShake3 : (string, Core.file) transform
107 val toMarshalcheck : (string, Core.file) transform
108 val toMonoize : (string, Mono.file) transform 108 val toMonoize : (string, Mono.file) transform
109 val toMono_opt1 : (string, Mono.file) transform 109 val toMono_opt1 : (string, Mono.file) transform
110 val toUntangle : (string, Mono.file) transform 110 val toUntangle : (string, Mono.file) transform
111 val toMono_reduce : (string, Mono.file) transform 111 val toMono_reduce : (string, Mono.file) transform
112 val toMono_shake : (string, Mono.file) transform 112 val toMono_shake : (string, Mono.file) transform