diff options
author | Nadrieril | 2020-04-06 22:13:36 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-06 22:13:36 +0100 |
commit | 2cf9169e1a21e1196e0265847abcfa904e2d45a3 (patch) | |
tree | df4c04f27832fc6dd9422505ea7a80a23bbac609 /dhall/src/semantics/nze | |
parent | fff4c46e09d4edf25eba737f4d71bfdb1dbf4a82 (diff) |
Move builtins module up a level
Diffstat (limited to 'dhall/src/semantics/nze')
-rw-r--r-- | dhall/src/semantics/nze/nir.rs | 5 |
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, |