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/tools/tools.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/tools/tools.sml

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

revision 458, Thu Oct 28 14:22:55 1999 UTC revision 459, Fri Oct 29 06:22:25 1999 UTC
# Line 206  Line 206 
206                  SafeIO.perform { openIt = fn () => OS.FileSys.chDir dir,                  SafeIO.perform { openIt = fn () => OS.FileSys.chDir dir,
207                                   closeIt = fn () => OS.FileSys.chDir cwd,                                   closeIt = fn () => OS.FileSys.chDir cwd,
208                                   work = rf,                                   work = rf,
209                                   cleanup = fn () => () }                                   cleanup = fn _ => () }
210                  handle ToolError { tool, msg } =>                  handle ToolError { tool, msg } =>
211                      (error (concat ["tool \"", tool, "\" failed: ", msg]); [])                      (error (concat ["tool \"", tool, "\" failed: ", msg]); [])
212              end              end

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

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