summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze
diff options
context:
space:
mode:
authorNadrieril2020-04-06 22:13:36 +0100
committerNadrieril2020-04-06 22:13:36 +0100
commit2cf9169e1a21e1196e0265847abcfa904e2d45a3 (patch)
treedf4c04f27832fc6dd9422505ea7a80a23bbac609 /dhall/src/semantics/nze
parentfff4c46e09d4edf25eba737f4d71bfdb1dbf4a82 (diff)
Move builtins module up a level
Diffstat (limited to 'dhall/src/semantics/nze')
-rw-r--r--dhall/src/semantics/nze/nir.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/dhall/src/semantics/nze/nir.rs b/dhall/src/semantics/nze/nir.rs
index 5c67c02..e2a0113 100644
--- a/dhall/src/semantics/nze/nir.rs
+++ b/dhall/src/semantics/nze/nir.rs
@@ -1,11 +1,12 @@
use std::collections::HashMap;
use std::rc::Rc;
+use crate::builtins::BuiltinClosure;
use crate::operations::OpKind;
use crate::semantics::nze::lazy;
use crate::semantics::{
- apply_any, normalize_hir, normalize_one_layer, squash_textlit, Binder,
- BuiltinClosure, Hir, HirKind, NzEnv, NzVar, TyEnv, Type, Universe, VarEnv,
+ apply_any, normalize_hir, normalize_one_layer, squash_textlit, Binder, Hir,
+ HirKind, NzEnv, NzVar, TyEnv, Type, Universe, VarEnv,
};
use crate::syntax::{
BinOp, Builtin, Const, Expr, ExprKind, InterpolatedTextContents, Label,