46 |
val emptyMembers : members |
val emptyMembers : members |
47 |
val member : (pathname -> group) |
val member : (pathname -> group) |
48 |
-> { sourcepath: pathname, group: pathname, class: cm_symbol option, |
-> { sourcepath: pathname, group: pathname, class: cm_symbol option, |
49 |
error: string -> unit } |
error: string -> (PrettyPrint.ppstream -> unit) -> unit } |
50 |
-> members |
-> members |
51 |
val members : members * members -> members |
val members : members * members -> members |
52 |
val guarded_members : |
val guarded_members : |
157 |
fun member rparse arg env = let |
fun member rparse arg env = let |
158 |
val coll = MemberCollection.expandOne (getExports o rparse) arg |
val coll = MemberCollection.expandOne (getExports o rparse) arg |
159 |
val error = #error arg |
val error = #error arg |
160 |
|
fun e0 s = error s GenericVC.ErrorMsg.nullErrorBody |
161 |
in |
in |
162 |
MemberCollection.sequential (env, coll, error) |
MemberCollection.sequential (env, coll, e0) |
163 |
end |
end |
164 |
fun members (m1, m2) env = m2 (m1 env) |
fun members (m1, m2) env = m2 (m1 env) |
165 |
fun guarded_members (c, (m1, m2), error) env = |
fun guarded_members (c, (m1, m2), error) env = |