diff options
author | Nadrieril | 2020-01-30 18:04:16 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-30 18:04:16 +0000 |
commit | 7062de011eab7954f4bcf78fa1cf970ba91d6a5a (patch) | |
tree | f587d2d468d467bd5759ae4e2b8b69f9edc827fc /dhall/src/semantics/nze/mod.rs | |
parent | 8ff022fa2cec34bc1d46ac3655d0c3d228ef893c (diff) |
Remove Value visitor
It's mostly useful when we can change types, but it's also too
constraining if we can, because then we can't enforce complex invariants
like the one for TextLit.
Diffstat (limited to 'dhall/src/semantics/nze/mod.rs')
-rw-r--r-- | dhall/src/semantics/nze/mod.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/src/semantics/nze/mod.rs b/dhall/src/semantics/nze/mod.rs index e3b37cd..3d9c5eb 100644 --- a/dhall/src/semantics/nze/mod.rs +++ b/dhall/src/semantics/nze/mod.rs @@ -2,7 +2,6 @@ pub mod env; pub mod normalize; pub mod value; pub mod var; -pub mod visitor; pub(crate) use env::*; pub(crate) use normalize::*; pub(crate) use value::*; |