Mercurial > urweb
comparison src/print.sml @ 5:258261a53842
Elaborating files
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 26 Jan 2008 16:02:47 -0500 |
parents | daa4f1d7a663 |
children | bbe5899a9585 |
comparison
equal
deleted
inserted
replaced
4:5c3cc348e9e6 | 5:258261a53842 |
---|---|
64 val print = fprint out | 64 val print = fprint out |
65 val eprint = fprint err | 65 val eprint = fprint err |
66 | 66 |
67 fun fpreface f (s, d) = | 67 fun fpreface f (s, d) = |
68 fprint f (PD.hovBox (PD.PPS.Rel 0, | 68 fprint f (PD.hovBox (PD.PPS.Rel 0, |
69 [PD.string s, PD.space 1, d])) | 69 [PD.string s, PD.space 1, d, PD.newline])) |
70 | 70 |
71 val preface = fpreface out | 71 val preface = fpreface out |
72 val epreface = fpreface err | 72 val epreface = fpreface err |
73 | 73 |
74 fun fprefaces f s ls = | 74 fun fprefaces f s ls = |