SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/compile/generic.sml
Diff of /sml/trunk/src/cm/compile/generic.sml
Parent Directory
|
Revision Log
|
Patch
73 |
loc ge li |
loc ge li |
74 |
end |
end |
75 |
in |
in |
76 |
case CT.lookstable (bininfo, mkenv, gp) of |
CT.dostable (bininfo, mkenv, gp) |
|
CT.FOUND e => SOME e |
|
|
| CT.NOTFOUND (SOME le) => CT.dostable (bininfo, le, gp) |
|
|
| CT.NOTFOUND NONE => NONE |
|
77 |
end |
end |
78 |
in |
in |
79 |
bn |
bn |
104 |
in |
in |
105 |
case le of |
case le of |
106 |
NONE => NONE |
NONE => NONE |
107 |
| SOME le => |
| SOME le => CT.dosml (smlinfo, le, gp) |
|
(case CT.looksml (smlinfo, le, gp) of |
|
|
SOME e => SOME e |
|
|
| NONE => CT.dosml (smlinfo, le, gp)) |
|
108 |
end |
end |
109 |
|
|
110 |
and sbnode gp (DG.SB_BNODE b) = bnode gp b |
and sbnode gp (DG.SB_BNODE b) = bnode gp b |
|
Legend:
Removed from v.297 |
|
changed lines |
|
Added in v.298 |
|
|