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
239 |
else Say.vsay ["[parsing ", |
else Say.vsay ["[parsing ", |
240 |
SrcPath.descr sourcepath, "]\n"] |
SrcPath.descr sourcepath, "]\n"] |
241 |
val source = |
val source = |
242 |
Source.newSource (SrcPath.osstring sourcepath, |
Source.newSource (SrcPath.osstring' sourcepath, |
243 |
1, stream, false, #errcons gp) |
1, stream, false, #errcons gp) |
244 |
in |
in |
245 |
(SF.parse source, source) |
(SF.parse source, source) |
|
Legend:
Removed from v.491 |
|
changed lines |
|
Added in v.492 |
|
|