comparison src/compiler.sig @ 680:54ec237a3028

Marshalcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 28 Mar 2009 11:13:36 -0400
parents a8effb6159c2
children 09df0c85f306
comparison
equal deleted inserted replaced
679:44f23712020d 680:54ec237a3028
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
72 val reduce : (Core.file, Core.file) phase 73 val reduce : (Core.file, Core.file) phase
73 val unpoly : (Core.file, Core.file) phase 74 val unpoly : (Core.file, Core.file) phase
74 val specialize : (Core.file, Core.file) phase 75 val specialize : (Core.file, Core.file) phase
75 val monoize : (Core.file, Mono.file) phase 76 val monoize : (Core.file, Mono.file) phase
76 val mono_opt : (Mono.file, Mono.file) phase 77 val mono_opt : (Mono.file, Mono.file) phase
97 val toShake1 : (string, Core.file) transform 98 val toShake1 : (string, Core.file) transform
98 val toRpcify : (string, Core.file) transform 99 val toRpcify : (string, Core.file) transform
99 val toCore_untangle2 : (string, Core.file) transform 100 val toCore_untangle2 : (string, Core.file) transform
100 val toShake2 : (string, Core.file) transform 101 val toShake2 : (string, Core.file) transform
101 val toTag : (string, Core.file) transform 102 val toTag : (string, Core.file) transform
103 val toMarshalcheck : (string, Core.file) transform
102 val toReduce : (string, Core.file) transform 104 val toReduce : (string, Core.file) transform
103 val toUnpoly : (string, Core.file) transform 105 val toUnpoly : (string, Core.file) transform
104 val toSpecialize : (string, Core.file) transform 106 val toSpecialize : (string, Core.file) transform
105 val toShake3 : (string, Core.file) transform 107 val toShake3 : (string, Core.file) transform
106 val toMonoize : (string, Mono.file) transform 108 val toMonoize : (string, Mono.file) transform