Mercurial > urweb

comparison src/print.sml @ 5:258261a53842

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 =