Lines Matching defs:pr
48 val pr = fn out : TextIO.outstream => fn s : string => TextIO.output(out,s)
51 let val pr = pr errStream
53 (pr name; pr ", line "; pr (Int.toString l); pr ": Error: ";
54 pr msg; pr "\n"; errorOccurred := true)
58 let val pr = pr errStream
60 (pr name; pr ", line "; pr (Int.toString l); pr ": Warning: ";
61 pr msg; pr "\n")