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 702, Sun Sep 3 01:30:53 2000 UTC revision 703, Thu Sep 7 05:43:23 2000 UTC
# Line 275  Line 275 
275                      val _ = if noerrors orelse quiet then ()                      val _ = if noerrors orelse quiet then ()
276                              else Say.vsay ["[parsing ",                              else Say.vsay ["[parsing ",
277                                             SrcPath.descr sourcepath, "]\n"]                                             SrcPath.descr sourcepath, "]\n"]
278                        val normal_ec = #errcons gp
279                        val dummy_ec = { consumer = fn (x: string) => (),
280                                         linewidth = #linewidth normal_ec,
281                                         flush = fn () => () }
282                        val ec = if noerrors then dummy_ec else normal_ec
283                      val source =                      val source =
284                          Source.newSource (SrcPath.osstring' sourcepath,                          Source.newSource (SrcPath.osstring' sourcepath,
285                                            1, stream, false, #errcons gp)                                            1, stream, false, ec)
286                  in                  in
287                      (SF.parse source, source)                      (SF.parse source, source)
288                  end                  end

Legend:
Removed from v.702  
changed lines
  Added in v.703

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