Mercurial > urweb

comparison src/compiler.sig @ 315:e21d0dddda09

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Unpoly non-recursive function
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 09:36:47 -0400
parents e0ed0d4dabc9
children a94a79820d49
comparison
equal deleted inserted replaced
314:a07f476d9b61 315:e21d0dddda09
60 val explify : (Elab.file, Expl.file) phase 60 val explify : (Elab.file, Expl.file) phase
61 val corify : (Expl.file, Core.file) phase 61 val corify : (Expl.file, Core.file) phase
62 val shake : (Core.file, Core.file) phase 62 val shake : (Core.file, Core.file) phase
63 val tag : (Core.file, Core.file) phase 63 val tag : (Core.file, Core.file) phase
64 val reduce : (Core.file, Core.file) phase 64 val reduce : (Core.file, Core.file) phase
65 val unpoly : (Core.file, Core.file) phase
65 val specialize : (Core.file, Core.file) phase 66 val specialize : (Core.file, Core.file) phase
66 val monoize : (Core.file, Mono.file) phase 67 val monoize : (Core.file, Mono.file) phase
67 val mono_opt : (Mono.file, Mono.file) phase 68 val mono_opt : (Mono.file, Mono.file) phase
68 val untangle : (Mono.file, Mono.file) phase 69 val untangle : (Mono.file, Mono.file) phase
69 val mono_reduce : (Mono.file, Mono.file) phase 70 val mono_reduce : (Mono.file, Mono.file) phase
79 val toExplify : (string, Expl.file) transform 80 val toExplify : (string, Expl.file) transform
80 val toCorify : (string, Core.file) transform 81 val toCorify : (string, Core.file) transform
81 val toShake1 : (string, Core.file) transform 82 val toShake1 : (string, Core.file) transform
82 val toTag : (string, Core.file) transform 83 val toTag : (string, Core.file) transform
83 val toReduce : (string, Core.file) transform 84 val toReduce : (string, Core.file) transform
84 val toSpecialize : (string, Core.file) transform 85 val toUnpoly : (string, Core.file) transform
86 val toSpecialize : (string, Core.file) transform
85 val toShake2 : (string, Core.file) transform 87 val toShake2 : (string, Core.file) transform
86 val toMonoize : (string, Mono.file) transform 88 val toMonoize : (string, Mono.file) transform
87 val toMono_opt1 : (string, Mono.file) transform 89 val toMono_opt1 : (string, Mono.file) transform
88 val toUntangle : (string, Mono.file) transform 90 val toUntangle : (string, Mono.file) transform
89 val toMono_reduce : (string, Mono.file) transform 91 val toMono_reduce : (string, Mono.file) transform