Mercurial > urweb
comparison src/print.sml @ 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 |
---|---|
29 | 29 |
30 structure Print :> PRINT = struct | 30 structure Print :> PRINT = struct |
31 | 31 |
32 structure SM = TextIOPP | 32 structure SM = TextIOPP |
33 structure PD = PPDescFn(SM) | 33 structure PD = PPDescFn(SM) |
34 | |
35 val openOut = SM.openOut | |
34 | 36 |
35 type 'a printer = 'a -> PD.pp_desc | 37 type 'a printer = 'a -> PD.pp_desc |
36 | 38 |
37 fun box ds = PD.hovBox (PD.PPS.Rel 1, ds) | 39 fun box ds = PD.hovBox (PD.PPS.Rel 1, ds) |
38 fun parenIf b d = | 40 fun parenIf b d = |