comparison src/print.sig @ 1362:fd34210bc3e5

Add an extra Especialize pass before Rpcify
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 12:51:46 -0500
parents 73456bfde988
children
comparison
equal deleted inserted replaced
1361:7a436b6267ab 1362:fd34210bc3e5
57 val eprefaces : string -> (string * PD.pp_desc) list -> unit 57 val eprefaces : string -> (string * PD.pp_desc) list -> unit
58 58
59 val fprefaces' : PD.PPS.stream -> (string * PD.pp_desc) list -> unit 59 val fprefaces' : PD.PPS.stream -> (string * PD.pp_desc) list -> unit
60 val prefaces' : (string * PD.pp_desc) list -> unit 60 val prefaces' : (string * PD.pp_desc) list -> unit
61 val eprefaces' : (string * PD.pp_desc) list -> unit 61 val eprefaces' : (string * PD.pp_desc) list -> unit
62
63 val openOut : {dst : TextIO.outstream, wid : int} -> PD.PPS.stream
62 end 64 end