diff options
author | Nadrieril | 2020-01-17 11:03:40 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-17 11:18:57 +0000 |
commit | 72d1e3c339cf550fa5af9981af6078a813feb80a (patch) | |
tree | b6dc162bf0af9ce8e2cd7dbe0443b302ef071f0e /dhall/src/semantics/phase/normalize.rs | |
parent | f7a8d967b02bc20c093d501746ed3de53cc7da13 (diff) |
Remove Shift/Subst traits
Diffstat (limited to 'dhall/src/semantics/phase/normalize.rs')
-rw-r--r-- | dhall/src/semantics/phase/normalize.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/src/semantics/phase/normalize.rs b/dhall/src/semantics/phase/normalize.rs index 7b4b37f..615b2ff 100644 --- a/dhall/src/semantics/phase/normalize.rs +++ b/dhall/src/semantics/phase/normalize.rs @@ -3,7 +3,6 @@ use std::convert::TryInto; use crate::semantics::core::value::Value; use crate::semantics::core::value::ValueKind; -use crate::semantics::core::var::Subst; use crate::semantics::phase::typecheck::{rc, typecheck}; use crate::semantics::phase::Normalized; use crate::syntax; |