SCM Repository
[smlnj] Diff of /sml/trunk/src/compiler/Semant/elaborate/elabmod.sml
Diff of /sml/trunk/src/compiler/Semant/elaborate/elabmod.sml
Parent Directory
|
Revision Log
|
Patch
98 |
fun localEntDec(d1, d2) = seqEntDec [d1, d2] |
fun localEntDec(d1, d2) = seqEntDec [d1, d2] |
99 |
|
|
100 |
(* special symbols *) |
(* special symbols *) |
101 |
val paramId = S.strSymbol "<param>" |
open SpecialSymbols |
|
val functorId = S.fctSymbol "<functor>" |
|
|
val hiddenId = S.strSymbol "<hidden>" |
|
|
val tempStrId = S.strSymbol "<tempStr>" |
|
|
val tempFctId = S.fctSymbol "<tempFct>" |
|
|
val fctbodyId = S.strSymbol "<fctbody>" |
|
|
val anonfsigId = S.fsigSymbol "<anonfsig>" |
|
|
val resultId = S.strSymbol "<resultStr>" |
|
|
val returnId = S.strSymbol "<returnStr>" |
|
102 |
|
|
103 |
fun stripMarkSigb(MarkSigb(sigb',region'),region) = |
fun stripMarkSigb(MarkSigb(sigb',region'),region) = |
104 |
stripMarkSigb(sigb',region') |
stripMarkSigb(sigb',region') |
|
Legend:
Removed from v.674 |
|
changed lines |
|
Added in v.675 |
|
|