Mercurial > urweb

comparison src/compiler.sig @ 732:5819fb63c93a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents 09df0c85f306
children 43553c93dd8c
comparison
equal deleted inserted replaced
731:e0dd85ea58e1 732:5819fb63c93a
71 val tag : (Core.file, Core.file) phase 71 val tag : (Core.file, Core.file) phase
72 val reduce : (Core.file, Core.file) phase 72 val reduce : (Core.file, Core.file) phase
73 val unpoly : (Core.file, Core.file) phase 73 val unpoly : (Core.file, Core.file) phase
74 val specialize : (Core.file, Core.file) phase 74 val specialize : (Core.file, Core.file) phase
75 val marshalcheck : (Core.file, Core.file) phase 75 val marshalcheck : (Core.file, Core.file) phase
76 val effectize : (Core.file, Core.file) phase
76 val monoize : (Core.file, Mono.file) phase 77 val monoize : (Core.file, Mono.file) phase
77 val mono_opt : (Mono.file, Mono.file) phase 78 val mono_opt : (Mono.file, Mono.file) phase
78 val untangle : (Mono.file, Mono.file) phase 79 val untangle : (Mono.file, Mono.file) phase
79 val mono_reduce : (Mono.file, Mono.file) phase 80 val mono_reduce : (Mono.file, Mono.file) phase
80 val mono_shake : (Mono.file, Mono.file) phase 81 val mono_shake : (Mono.file, Mono.file) phase
103 val toReduce : (string, Core.file) transform 104 val toReduce : (string, Core.file) transform
104 val toUnpoly : (string, Core.file) transform 105 val toUnpoly : (string, Core.file) transform
105 val toSpecialize : (string, Core.file) transform 106 val toSpecialize : (string, Core.file) transform
106 val toShake3 : (string, Core.file) transform 107 val toShake3 : (string, Core.file) transform
107 val toMarshalcheck : (string, Core.file) transform 108 val toMarshalcheck : (string, Core.file) transform
109 val toEffectize : (string, Core.file) transform
108 val toMonoize : (string, Mono.file) transform 110 val toMonoize : (string, Mono.file) transform
109 val toMono_opt1 : (string, Mono.file) transform 111 val toMono_opt1 : (string, Mono.file) transform
110 val toUntangle : (string, Mono.file) transform 112 val toUntangle : (string, Mono.file) transform
111 val toMono_reduce : (string, Mono.file) transform 113 val toMono_reduce : (string, Mono.file) transform
112 val toMono_shake : (string, Mono.file) transform 114 val toMono_shake : (string, Mono.file) transform