diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-02-02 18:09:13 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-02-02 19:50:06 +0100 |
| commit | 10675cd6d510521715c5e33508d80c4193ad9d74 (patch) | |
| tree | 676435532b2c224b4b9feafd6e1a07cd30a0e923 /src/model/scope.rs | |
| parent | e9ff2d6463bf26cb0bbafb747bf8a77800687e3f (diff) | |
Merge text and math symbols
Diffstat (limited to 'src/model/scope.rs')
| -rw-r--r-- | src/model/scope.rs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/model/scope.rs b/src/model/scope.rs index 2e3b8244..18c75535 100644 --- a/src/model/scope.rs +++ b/src/model/scope.rs @@ -109,15 +109,6 @@ impl Scope { self.0.insert(var.into(), Slot::new(value.into(), Kind::Captured)); } - /// Copy definitions from another scope that aren't yet defined in this one. - pub fn copy_from(&mut self, other: &Self) { - for (name, value) in other.iter() { - self.0 - .entry(name.clone()) - .or_insert_with(|| Slot::new(value.clone(), Kind::Normal)); - } - } - /// Try to access a variable immutably. pub fn get(&self, var: &str) -> Option<&Value> { self.0.get(var).map(Slot::read) |
