summaryrefslogtreecommitdiff
path: root/dhall/src/semantics
diff options
context:
space:
mode:
authorNadrieril2020-01-30 17:01:36 +0000
committerNadrieril2020-01-30 17:01:36 +0000
commit0c95dd4f940e796865976dad594068ae0fff8f7c (patch)
tree54ae39155916be24cffabaa917f006fc5d044422 /dhall/src/semantics
parent67bbbafbc9730d74e20e5ac082ae9a87bdf2234e (diff)
Move Value-related stuff under semantics::nze
Diffstat (limited to 'dhall/src/semantics')
-rw-r--r--dhall/src/semantics/core/context.rs1
-rw-r--r--dhall/src/semantics/core/mod.rs6
-rw-r--r--dhall/src/semantics/mod.rs2
-rw-r--r--dhall/src/semantics/nze/mod.rs5
-rw-r--r--dhall/src/semantics/nze/value.rs (renamed from dhall/src/semantics/core/value.rs)4
-rw-r--r--dhall/src/semantics/nze/var.rs (renamed from dhall/src/semantics/core/var.rs)0
-rw-r--r--dhall/src/semantics/nze/visitor.rs (renamed from dhall/src/semantics/core/visitor.rs)0
7 files changed, 7 insertions, 11 deletions
diff --git a/dhall/src/semantics/core/context.rs b/dhall/src/semantics/core/context.rs
deleted file mode 100644
index 8b13789..0000000
--- a/dhall/src/semantics/core/context.rs
+++ /dev/null
@@ -1 +0,0 @@
-
diff --git a/dhall/src/semantics/core/mod.rs b/dhall/src/semantics/core/mod.rs
deleted file mode 100644
index 6f577f0..0000000
--- a/dhall/src/semantics/core/mod.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-pub mod context;
-pub mod value;
-pub mod var;
-pub mod visitor;
-pub(crate) use value::*;
-pub(crate) use var::*;
diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index 01bbd39..92e5912 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -1,9 +1,7 @@
pub mod builtins;
-pub mod core;
pub mod nze;
pub mod phase;
pub mod tck;
pub(crate) use self::builtins::*;
-pub(crate) use self::core::*;
pub(crate) use self::nze::*;
pub(crate) use self::tck::*;
diff --git a/dhall/src/semantics/nze/mod.rs b/dhall/src/semantics/nze/mod.rs
index 1cd2363..f367f8f 100644
--- a/dhall/src/semantics/nze/mod.rs
+++ b/dhall/src/semantics/nze/mod.rs
@@ -1,2 +1,7 @@
pub mod env;
+pub mod value;
+pub mod var;
+pub mod visitor;
pub(crate) use env::*;
+pub(crate) use value::*;
+pub(crate) use var::*;
diff --git a/dhall/src/semantics/core/value.rs b/dhall/src/semantics/nze/value.rs
index c881a9a..4960076 100644
--- a/dhall/src/semantics/core/value.rs
+++ b/dhall/src/semantics/nze/value.rs
@@ -3,11 +3,12 @@ use std::collections::HashMap;
use std::rc::Rc;
use crate::error::{TypeError, TypeMessage};
-use crate::semantics::core::var::Binder;
+use crate::semantics::nze::visitor;
use crate::semantics::phase::normalize::{
apply_any, normalize_tyexpr_whnf, normalize_whnf,
};
use crate::semantics::phase::{Normalized, NormalizedExpr, ToExprOptions};
+use crate::semantics::Binder;
use crate::semantics::{type_of_builtin, typecheck, TyExpr, TyExprKind};
use crate::semantics::{BuiltinClosure, NzEnv, NzVar, VarEnv};
use crate::syntax::{
@@ -546,7 +547,6 @@ impl<V> ValueKind<V> {
&'a V,
) -> Result<V2, E>,
) -> Result<ValueKind<V2>, E> {
- use crate::semantics::visitor;
use visitor::ValueKindVisitor;
visitor::TraverseRefWithBindersVisitor {
visit_val,
diff --git a/dhall/src/semantics/core/var.rs b/dhall/src/semantics/nze/var.rs
index 264b81d..264b81d 100644
--- a/dhall/src/semantics/core/var.rs
+++ b/dhall/src/semantics/nze/var.rs
diff --git a/dhall/src/semantics/core/visitor.rs b/dhall/src/semantics/nze/visitor.rs
index d1a85d8..d1a85d8 100644
--- a/dhall/src/semantics/core/visitor.rs
+++ b/dhall/src/semantics/nze/visitor.rs