Mercurial > urweb

comparison src/compiler.sig @ 1362:fd34210bc3e5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add an extra Especialize pass before Rpcify
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 12:51:46 -0500
parents 4dd5d23bace2
children 2f5fd248588d
comparison
equal deleted inserted replaced
1361:7a436b6267ab 1362:fd34210bc3e5
70 val o : ('b, 'c) transform * ('a, 'b) transform -> ('a, 'c) transform 70 val o : ('b, 'c) transform * ('a, 'b) transform -> ('a, 'c) transform
71 71
72 val check : ('src, 'dst) transform -> 'src -> unit 72 val check : ('src, 'dst) transform -> 'src -> unit
73 val run : ('src, 'dst) transform -> 'src -> 'dst option 73 val run : ('src, 'dst) transform -> 'src -> 'dst option
74 val runPrint : ('src, 'dst) transform -> 'src -> unit 74 val runPrint : ('src, 'dst) transform -> 'src -> unit
75 val runPrintToFile : ('src, 'dst) transform -> 'src -> string -> unit
75 val time : ('src, 'dst) transform -> 'src -> unit 76 val time : ('src, 'dst) transform -> 'src -> unit
76 val timePrint : ('src, 'dst) transform -> 'src -> unit 77 val timePrint : ('src, 'dst) transform -> 'src -> unit
78
79 val runPrintCoreFuncs : ('src, Core.file) transform -> 'src -> unit
77 80
78 val parseUr : (string, Source.file) phase 81 val parseUr : (string, Source.file) phase
79 val parseUrs : (string, Source.sgn_item list) phase 82 val parseUrs : (string, Source.sgn_item list) phase
80 val parseUrp : (string, job) phase 83 val parseUrp : (string, job) phase
81 val parseUrp' : (string, {Job : job, Libs : string list}) phase 84 val parseUrp' : (string, {Job : job, Libs : string list}) phase
120 val toTermination : (string, Elab.file) transform 123 val toTermination : (string, Elab.file) transform
121 val toExplify : (string, Expl.file) transform 124 val toExplify : (string, Expl.file) transform
122 val toCorify : (string, Core.file) transform 125 val toCorify : (string, Core.file) transform
123 val toCore_untangle : (string, Core.file) transform 126 val toCore_untangle : (string, Core.file) transform
124 val toShake1 : (string, Core.file) transform 127 val toShake1 : (string, Core.file) transform
128 val toEspecialize1' : (string, Core.file) transform
129 val toShake1' : (string, Core.file) transform
125 val toRpcify : (string, Core.file) transform 130 val toRpcify : (string, Core.file) transform
126 val toCore_untangle2 : (string, Core.file) transform 131 val toCore_untangle2 : (string, Core.file) transform
127 val toShake2 : (string, Core.file) transform 132 val toShake2 : (string, Core.file) transform
128 val toEspecialize1 : (string, Core.file) transform 133 val toEspecialize1 : (string, Core.file) transform
129 val toCore_untangle3 : (string, Core.file) transform 134 val toCore_untangle3 : (string, Core.file) transform