53 |
(* constructing member collections *) |
(* constructing member collections *) |
54 |
val emptyMembers : members |
val emptyMembers : members |
55 |
val member : |
val member : |
56 |
GeneralParams.info * (pathname option -> pathname -> group) |
GeneralParams.info * (pathname option -> pathname -> group) * |
57 |
|
(string -> bool) |
58 |
-> { name: string, mkpath: string -> pathname, |
-> { name: string, mkpath: string -> pathname, |
59 |
group: pathname * region, class: cm_class option, |
group: pathname * region, class: cm_class option, |
60 |
context: SrcPath.context } |
context: SrcPath.context } |
216 |
end |
end |
217 |
|
|
218 |
fun emptyMembers (env, _) = env |
fun emptyMembers (env, _) = env |
219 |
fun member (gp, rparse) arg (env, curlib) = let |
fun member (gp, rparse, ldpi) arg (env, curlib) = let |
220 |
val coll = MemberCollection.expandOne (gp, rparse curlib) arg |
val coll = MemberCollection.expandOne (gp, rparse curlib, ldpi) arg |
221 |
val group = #group arg |
val group = #group arg |
222 |
val error = GroupReg.error (#groupreg gp) group |
val error = GroupReg.error (#groupreg gp) group |
223 |
fun e0 s = error EM.COMPLAIN s EM.nullErrorBody |
fun e0 s = error EM.COMPLAIN s EM.nullErrorBody |