From 2700af36adfac4390b9395ac2ed0e534b7eac887 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 30 Jan 2020 21:43:50 +0000 Subject: Use OnceCell to enable returning &ValKind --- dhall/src/semantics/builtins.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'dhall/src/semantics/builtins.rs') 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 { } /// 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 { -- cgit v1.2.3