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/branches/rt-transition/PP/src/pp-debug-fn.sml
ViewVC logotype

Diff of /smlnj-lib/branches/rt-transition/PP/src/pp-debug-fn.sml

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

sml/trunk/src/smlnj-lib/PP/src/pp-debug-fn.sml revision 7, Sun Jan 18 00:59:30 1998 UTC smlnj-lib/trunk/PP/src/pp-debug-fn.sml revision 2144, Thu Nov 2 16:23:11 2006 UTC
# Line 1  Line 1 
1  (* pp-debug-fn.sml  (* pp-debug-fn.sml
2   *   *
3   * COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies.   * COPYRIGHT (c) 2005 John Reppy (http://www.cs.uchicago.edu/~jhr)
4     * All rights reserved.
5   *   *
6   * A wrapper for the PPStreamFn, which dumps the current PP state prior   * A wrapper for the PPStreamFn, which dumps the current PP state prior
7   * to each operation.   * to each operation.
8   *)   *)
9    
10  functor PPDebugFn (PP : sig  functor PPDebugFn (PP : sig
11      include PP_STREAM val dump : (TextIO.outstream * stream) -> unit      include PP_STREAM
12        val dump : (TextIO.outstream * stream) -> unit
13    end) : sig    end) : sig
14      include PP_STREAM      include PP_STREAM
15      val debugStrm : TextIO.outstream ref      val debugStrm : TextIO.outstream ref
# Line 35  Line 37 
37      val openStream = PP.openStream      val openStream = PP.openStream
38      val flushStream = debug' "flushStream" PP.flushStream      val flushStream = debug' "flushStream" PP.flushStream
39      val closeStream = debug' "closeStream" PP.closeStream      val closeStream = debug' "closeStream" PP.closeStream
40        val getDevice = PP.getDevice
41    
42      val openHBox   = debug' "openHBox" PP.openHBox      val openHBox   = debug' "openHBox" PP.openHBox
43      val openVBox   = debug "openVBox" PP.openVBox      val openVBox   = debug "openVBox" PP.openVBox
# Line 54  Line 57 
57      val cut     = debug' "cut" PP.cut      val cut     = debug' "cut" PP.cut
58      val newline = debug' "newline" PP.newline      val newline = debug' "newline" PP.newline
59      val nbSpace = debug "nbSpace" PP.nbSpace      val nbSpace = debug "nbSpace" PP.nbSpace
60      val onNewline = debug "onNewline" PP.onNewline      val control = debug "control" PP.control
61    
62    end;    end;
63    

Legend:
Removed from v.7  
changed lines
  Added in v.2144

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