SCM Repository
[smlnj] Diff of /sml/trunk/src/compiler/Elaborator/elaborate/elabcore.sml
Diff of /sml/trunk/src/compiler/Elaborator/elaborate/elabcore.sml
Parent Directory
|
Revision Log
|
Patch
1216 |
| _ => bug "makeFUNdec:checkuniq") |
| _ => bug "makeFUNdec:checkuniq") |
1217 |
fbs1)); |
fbs1)); |
1218 |
(let val (ndec, nenv) = |
(let val (ndec, nenv) = |
1219 |
FUNdec(completeMatch,map makefb fbs1,region,compInfo) |
FUNdec(completeMatch,map makefb fbs1,compInfo) |
1220 |
in showDec("elabFUNdec: ",ndec,nenv); |
in showDec("elabFUNdec: ",ndec,nenv); |
1221 |
(ndec, nenv, TS.empty, updt) |
(ndec, nenv, TS.empty, updt) |
1222 |
end) |
end) |
|
Legend:
Removed from v.1645 |
|
changed lines |
|
Added in v.1646 |
|
|