SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/link.sml
Diff of /sml/trunk/src/cm/link.sml
Parent Directory
|
Revision Log
|
Patch
128 |
val { mod = basis, nomod = perv } = split (#get ER.pervasive ()) |
val { mod = basis, nomod = perv } = split (#get ER.pervasive ()) |
129 |
val corenv = #get ER.core () |
val corenv = #get ER.core () |
130 |
val primconf = Primitive.configuration { basis = basis } |
val primconf = Primitive.configuration { basis = basis } |
131 |
|
val pcmode = PathConfig.hardwire |
132 |
|
[("smlnj-lib.cm", "/home/blume/ML/current/lib")] |
133 |
val param = { primconf = primconf, |
val param = { primconf = primconf, |
134 |
fnpolicy = FilenamePolicy.default, |
fnpolicy = FilenamePolicy.default, |
135 |
pcmode = PathConfig.default, |
pcmode = pcmode, |
136 |
keep_going = true, |
keep_going = true, |
137 |
pervasive = perv, |
pervasive = perv, |
138 |
corenv = corenv } |
corenv = corenv } |
|
Legend:
Removed from v.320 |
|
changed lines |
|
Added in v.321 |
|
|