diff options
author | Nadrieril | 2020-01-30 21:43:50 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-30 22:00:23 +0000 |
commit | 2700af36adfac4390b9395ac2ed0e534b7eac887 (patch) | |
tree | 74974cee6eb59b84f73b9b44da9e694ce2d0be79 /dhall/src/semantics/builtins.rs | |
parent | 884774dbf13fd0a0fb6936c4259527a30a285ff0 (diff) |
Use OnceCell to enable returning &ValKind
Diffstat (limited to 'dhall/src/semantics/builtins.rs')
-rw-r--r-- | dhall/src/semantics/builtins.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/semantics/builtins.rs b/dhall/src/semantics/builtins.rs index 85ef294..c20fb77 100644 --- a/dhall/src/semantics/builtins.rs +++ b/dhall/src/semantics/builtins.rs @@ -43,9 +43,9 @@ impl BuiltinClosure<Value> { } /// This doesn't break the invariant because we already checked that the appropriate arguments /// did not normalize to something that allows evaluation to proceed. - pub fn normalize_mut(&mut self) { - for x in self.args.iter_mut() { - x.normalize_mut(); + pub fn normalize(&self) { + for x in self.args.iter() { + x.normalize(); } } pub fn to_tyexprkind(&self, venv: VarEnv) -> TyExprKind { |