|
136 | 136 | 'rule' DeclareImportedDefinitions(Module, unsafe(_, Definition)):
|
137 | 137 | DeclareImportedDefinitions(Module, Definition)
|
138 | 138 |
|
139 |
| - 'rule' DeclareImportedDefinitions(Module, type(Position, _, Name, _)): |
140 |
| - DeclareImportedId(Module, Name) |
| 139 | + 'rule' DeclareImportedDefinitions(Module, type(Position, Access, Name, _)): |
| 140 | + DeclareImportedId(Module, Access, Name) |
141 | 141 |
|
142 |
| - 'rule' DeclareImportedDefinitions(Module, constant(Position, _, Name, _)): |
143 |
| - DeclareImportedId(Module, Name) |
| 142 | + 'rule' DeclareImportedDefinitions(Module, constant(Position, Access, Name, _)): |
| 143 | + DeclareImportedId(Module, Access, Name) |
144 | 144 |
|
145 |
| - 'rule' DeclareImportedDefinitions(Module, variable(Position, _, Name, _)): |
146 |
| - DeclareImportedId(Module, Name) |
| 145 | + 'rule' DeclareImportedDefinitions(Module, variable(Position, Access, Name, _)): |
| 146 | + DeclareImportedId(Module, Access, Name) |
147 | 147 |
|
148 |
| - 'rule' DeclareImportedDefinitions(Module, handler(Position, _, Name, _, _, _)): |
149 |
| - DeclareImportedId(Module, Name) |
| 148 | + 'rule' DeclareImportedDefinitions(Module, handler(Position, Access, Name, _, _, _)): |
| 149 | + DeclareImportedId(Module, Access, Name) |
150 | 150 |
|
151 |
| - 'rule' DeclareImportedDefinitions(Module, foreignhandler(Position, _, Name, _, _)): |
152 |
| - DeclareImportedId(Module, Name) |
| 151 | + 'rule' DeclareImportedDefinitions(Module, foreignhandler(Position, Access, Name, _, _)): |
| 152 | + DeclareImportedId(Module, Access, Name) |
153 | 153 |
|
154 |
| - 'rule' DeclareImportedDefinitions(Module, property(Position, _, Name, _, _)): |
155 |
| - DeclareImportedId(Module, Name) |
| 154 | + 'rule' DeclareImportedDefinitions(Module, property(Position, Access, Name, _, _)): |
| 155 | + DeclareImportedId(Module, Access, Name) |
156 | 156 |
|
157 |
| - 'rule' DeclareImportedDefinitions(Module, event(Position, _, Name, _)): |
158 |
| - DeclareImportedId(Module, Name) |
| 157 | + 'rule' DeclareImportedDefinitions(Module, event(Position, Access, Name, _)): |
| 158 | + DeclareImportedId(Module, Access, Name) |
159 | 159 |
|
160 |
| - 'rule' DeclareImportedDefinitions(Module, syntax(Position, _, Name, _, _, _, _)): |
161 |
| - DeclareImportedId(Module, Name) |
| 160 | + 'rule' DeclareImportedDefinitions(Module, syntax(Position, Access, Name, _, _, _, _)): |
| 161 | + DeclareImportedId(Module, Access, Name) |
162 | 162 |
|
163 | 163 | 'rule' DeclareImportedDefinitions(Module, metadata(_, _, _)):
|
164 | 164 | -- do nothing
|
|
631 | 631 |
|
632 | 632 | 'condition' ResolveNamespace(OPTIONALID -> NAME)
|
633 | 633 |
|
634 |
| -'action' DeclareImportedId(ID, ID) |
| 634 | +'action' DeclareImportedId(ID, ACCESS, ID) |
635 | 635 |
|
636 |
| - 'rule' DeclareImportedId(Namespace, Id): |
| 636 | + 'rule' DeclareImportedId(Namespace, public, Id): |
637 | 637 | Id'Namespace <- id(Namespace)
|
638 | 638 | DeclareNamespacedId(Id)
|
639 | 639 |
|
| 640 | + 'rule' DeclareImportedId(Namespace, Access, Id): |
| 641 | + -- don't import non-public ids |
| 642 | + |
640 | 643 | -- Ensure all module-level declarations have module namespace
|
641 | 644 | 'action' DeclareId(ID)
|
642 | 645 |
|
|
0 commit comments