SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/smlfile/skel-exports.sml
Diff of /sml/trunk/src/cm/smlfile/skel-exports.sml
Parent Directory
|
Revision Log
|
Patch
15 |
structure SS = SymbolSet |
structure SS = SymbolSet |
16 |
|
|
17 |
fun exports d = let |
fun exports d = let |
18 |
fun e (SK.StrDecl l, a) = SS.addList (a, map #name l) |
fun e (SK.Bind (s, _), a) = SS.add (a, s) |
19 |
| e (SK.FctDecl l, a) = SS.addList (a, map #name l) |
| e (SK.Local (l, b), a) = e (b, a) |
20 |
| e (SK.LocalDecl (l, b), a) = e (b, a) |
| e (SK.Par l, a) = foldl e a l |
21 |
| e (SK.SeqDecl l, a) = foldl e a l |
| e (SK.Seq l, a) = foldl e a l |
22 |
| e (SK.OpenDecl _, a) = a (* cannot happen *) |
| e (SK.Open _, a) = a (* cannot happen *) |
23 |
| e (SK.DeclRef _, a) = a |
| e (SK.Ref _, a) = a |
24 |
in |
in |
25 |
e (d, SS.empty) |
e (d, SS.empty) |
26 |
end |
end |
|
Legend:
Removed from v.275 |
|
changed lines |
|
Added in v.286 |
|
|