SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/smlfile/smlinfo.sml
Diff of /sml/trunk/src/cm/smlfile/smlinfo.sml
Parent Directory
| 
Revision Log
| 
Patch
| 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 |
|
|
