Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /smlnj-lib/trunk/PP/devices/char-buffer-pp.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/PP/devices/char-buffer-pp.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4935, Sat Dec 22 22:46:19 2018 UTC revision 4936, Mon Jan 7 23:29:18 2019 UTC
# Line 8  Line 8 
8   * into a string as follows:   * into a string as follows:
9   *   *
10   *      val buf = CharBuffer.new 1024   *      val buf = CharBuffer.new 1024
11   *      val ppStrm = CharBufferPP.openOut {dst = buf, wid = 80}   *      val ppStrm = CharBufferPP.openBuf {dst = buf, wid = 80}
12   *      .... pretty printing ....   *      .... pretty printing ....
13   *      val result = CharBuffer.contents buf   *      val result = CharBuffer.contents buf
14   *)   *)
# Line 18  Line 18 
18      include PP_STREAM      include PP_STREAM
19        where type token = string        where type token = string
20    
21      val openOut : {dst : CharBuffer.buf, wid : int} -> stream      val openBuf : {dst : CharBuffer.buf, wid : int} -> stream
22    
23    end = struct    end = struct
24    
# Line 66  Line 66 
66    
67      open PP      open PP
68    
69      fun openOut arg = openStream(Device.openDev arg)      fun openBuf arg = openStream(Device.openDev arg)
70    
71    end;    end;
72    

Legend:
Removed from v.4935  
changed lines
  Added in v.4936

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0