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