(&mut self, ident: &str)
| 314 | } |
| 315 | |
| 316 | pub fn unshadow(&mut self, ident: &str) { |
| 317 | if let Some(entry) = self.names.remove(ident) { |
| 318 | let ns = entry.kind.into_module().unwrap(); |
| 319 | |
| 320 | if let Some(shadowed) = ns.shadowed { |
| 321 | self.names.insert(ident.to_string(), *shadowed); |
| 322 | } |
| 323 | } |
| 324 | } |
| 325 | |
| 326 | pub fn stack_push(&mut self, ident: &str, namespace: Module) { |
| 327 | let entry = self |