summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck
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/tck
parentfff4c46e09d4edf25eba737f4d71bfdb1dbf4a82 (diff)
Move builtins module up a level
Diffstat (limited to 'dhall/src/semantics/tck')
-rw-r--r--dhall/src/semantics/tck/typecheck.rs5
1 files changed, 2 insertions, 3 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs
index 7481f07..a31f15c 100644
--- a/dhall/src/semantics/tck/typecheck.rs
+++ b/dhall/src/semantics/tck/typecheck.rs
@@ -1,11 +1,10 @@
use std::cmp::max;
use std::collections::HashMap;
+use crate::builtins::type_of_builtin;
use crate::error::{ErrorBuilder, TypeError, TypeMessage};
use crate::operations::typecheck_operation;
-use crate::semantics::{
- type_of_builtin, Hir, HirKind, Nir, NirKind, Tir, TyEnv, Type,
-};
+use crate::semantics::{Hir, HirKind, Nir, NirKind, Tir, TyEnv, Type};
use crate::syntax::{
Builtin, Const, ExprKind, InterpolatedTextContents, NumKind, Span,
};