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 710, Tue Oct 17 08:21:09 2000 UTC revision 711, Tue Oct 17 13:12:29 2000 UTC
# Line 296  Line 296 
296                                              linewidth = #linewidth normal_ec,                                              linewidth = #linewidth normal_ec,
297                                              flush = fn () => () }                                              flush = fn () => () }
298                              val parse_source =                              val parse_source =
299                                  Source.newSource (SrcPath.osstring' sourcepath,                                  (* clone of "source", mute error consumer *)
300                                                    1, stream, false, dummy_ec)                                  { sourceMap = #sourceMap source,
301                                      fileOpened = #fileOpened source,
302                                      interactive = #interactive source,
303                                      sourceStream = #sourceStream source,
304                                      anyErrors = #anyErrors source,
305                                      errConsumer = dummy_ec }
306                          in                          in
307                              (source, parse_source)                              (source, parse_source)
308                          end                          end

Legend:
Removed from v.710  
changed lines
  Added in v.711

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