Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/driver/main.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/driver/main.sml

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

revision 3936, Mon Jun 6 10:34:23 2016 UTC revision 3937, Mon Jun 6 13:16:10 2016 UTC
# Line 19  Line 19 
19      fun quitWithError srcFile = raise Error.ERROR      fun quitWithError srcFile = raise Error.ERROR
20    
21    (* messages in verbose mode *)    (* messages in verbose mode *)
22  (* FIXME: perhaps we should include timing info? *)  (* QUESTION: perhaps we should include timing info? *)
23      fun verbosePrint msg = if Controls.get Ctl.verbose      fun verbosePrint msg = if Controls.get Ctl.verbose
24            then TextIO.output(TextIO.stdErr, concat msg)            then TextIO.output(TextIO.stdErr, concat msg)
25            else ()            else ()

Legend:
Removed from v.3936  
changed lines
  Added in v.3937

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