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 /sml/trunk/src/cm/smlfile/smlinfo.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/smlfile/smlinfo.sml

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

revision 433, Mon Sep 13 06:57:29 1999 UTC revision 459, Fri Oct 29 06:22:25 1999 UTC
# Line 214  Line 214 
214                      SOME (SafeIO.perform { openIt = openIt,                      SOME (SafeIO.perform { openIt = openIt,
215                                             closeIt = TextIO.closeIn,                                             closeIt = TextIO.closeIn,
216                                             work = work,                                             work = work,
217                                             cleanup = fn () => () })                                             cleanup = fn _ => () })
218                  (* Counting the trees explicitly may be a bit slow,                  (* Counting the trees explicitly may be a bit slow,
219                   * but maintaining an accurate count is difficult, so                   * but maintaining an accurate count is difficult, so
220                   * this method should be robust.  (I don't think that                   * this method should be robust.  (I don't think that

Legend:
Removed from v.433  
changed lines
  Added in v.459

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