diff options
author | Nadrieril | 2019-05-07 18:23:07 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-07 18:23:07 +0200 |
commit | 8cb3046e0920bf24d66c578b1a2b184c741b73fe (patch) | |
tree | 2fd14f54a5d140cf62afa75cf6b37dab8b90536f /dhall/src/core/thunk.rs | |
parent | 3da450aa3fae23214aa982643b9bc4dd0ea4eaa6 (diff) |
Move AlphaVar and AlphaLabel into a new module
Diffstat (limited to 'dhall/src/core/thunk.rs')
-rw-r--r-- | dhall/src/core/thunk.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs index 2b013bb..14ef710 100644 --- a/dhall/src/core/thunk.rs +++ b/dhall/src/core/thunk.rs @@ -3,7 +3,8 @@ use std::rc::Rc; use crate::core::context::NormalizationContext; use crate::core::context::TypecheckContext; -use crate::core::value::{AlphaVar, Value}; +use crate::core::value::Value; +use crate::core::var::AlphaVar; use crate::error::TypeError; use crate::phase::normalize::{ apply_any, normalize_whnf, InputSubExpr, OutputSubExpr, |