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

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

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

revision 4069, Tue Jun 9 20:52:48 2015 UTC revision 4070, Thu Jun 11 12:33:25 2015 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.4069  
changed lines
  Added in v.4070

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