diff options
author | Nadrieril | 2020-03-13 17:04:47 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
commit | 35db1b4b54dba8b0cafe661329e0099dfabd8073 (patch) | |
tree | 8b98ed443c5acb88841ccda355e7f24cb9c56515 /dhall/src/semantics/builtins.rs | |
parent | 2f5c45fd2f712f7befe6f7c92b62dc76d5f77538 (diff) |
Remove top-level Expr aliases
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/builtins.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dhall/src/semantics/builtins.rs b/dhall/src/semantics/builtins.rs index 8d17aed..eb50612 100644 --- a/dhall/src/semantics/builtins.rs +++ b/dhall/src/semantics/builtins.rs @@ -8,7 +8,6 @@ use crate::syntax::{ InterpolatedTextContents, Label, NaiveDouble, NumKind, Span, UnspannedExpr, V, }; -use crate::Normalized; use std::collections::HashMap; use std::convert::TryInto; @@ -340,7 +339,7 @@ fn apply_builtin(b: Builtin, args: Vec<Nir>, env: NzEnv) -> NirKind { TextLit(tlit) => { if let Some(s) = tlit.as_text() { // Printing InterpolatedText takes care of all the escaping - let txt: InterpolatedText<Normalized> = + let txt: InterpolatedText<Expr> = std::iter::once(InterpolatedTextContents::Text(s)) .collect(); Ret::Nir(Nir::from_text(txt)) |