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/src/pp-stream-fn.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/PP/src/pp-stream-fn.sml

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

revision 3799, Fri Nov 16 21:08:56 2012 UTC revision 3800, Sat Jan 12 14:55:19 2013 UTC
# Line 48  Line 48 
48    
49      type pp_queue_elem = {      (* elements of the PP queue *)      type pp_queue_elem = {      (* elements of the PP queue *)
50          tok : pp_token,          tok : pp_token,
51          sz : int ref,                   (* size of blok (set when known) *)          sz : int ref,                   (* size of block (set when known) *)
52          len : int                       (* length of token *)          len : int                       (* length of token *)
53        }        }
54    

Legend:
Removed from v.3799  
changed lines
  Added in v.3800

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