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/tck | |
parent | fff4c46e09d4edf25eba737f4d71bfdb1dbf4a82 (diff) |
Move builtins module up a level
Diffstat (limited to 'dhall/src/semantics/tck')
-rw-r--r-- | dhall/src/semantics/tck/typecheck.rs | 5 |
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, }; |