summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-12-15 19:47:20 +0000
committerNadrieril2019-12-15 19:47:20 +0000
commit7abd49772643ee4e131ef47de66db22ba7c1e037 (patch)
treef9e84634beac051a8b201b9e91f74c8d332598f8
parent929a34c177f8b18ae791f77bbd4630a862fb1070 (diff)
Move contents of dhall under a semantics submodule
Diffstat (limited to '')
-rw-r--r--dhall/src/lib.rs5
-rw-r--r--dhall/src/semantics/core/context.rs (renamed from dhall/src/core/context.rs)0
-rw-r--r--dhall/src/semantics/core/mod.rs (renamed from dhall/src/core/mod.rs)0
-rw-r--r--dhall/src/semantics/core/value.rs (renamed from dhall/src/core/value.rs)0
-rw-r--r--dhall/src/semantics/core/valuef.rs (renamed from dhall/src/core/valuef.rs)0
-rw-r--r--dhall/src/semantics/core/var.rs (renamed from dhall/src/core/var.rs)0
-rw-r--r--dhall/src/semantics/error/mod.rs (renamed from dhall/src/error/mod.rs)0
-rw-r--r--dhall/src/semantics/mod.rs3
-rw-r--r--dhall/src/semantics/phase/binary.rs (renamed from dhall/src/phase/binary.rs)0
-rw-r--r--dhall/src/semantics/phase/mod.rs (renamed from dhall/src/phase/mod.rs)0
-rw-r--r--dhall/src/semantics/phase/normalize.rs (renamed from dhall/src/phase/normalize.rs)0
-rw-r--r--dhall/src/semantics/phase/parse.rs (renamed from dhall/src/phase/parse.rs)0
-rw-r--r--dhall/src/semantics/phase/resolve.rs (renamed from dhall/src/phase/resolve.rs)0
-rw-r--r--dhall/src/semantics/phase/typecheck.rs (renamed from dhall/src/phase/typecheck.rs)0
14 files changed, 5 insertions, 3 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 66c6e5b..3c0159a 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -12,9 +12,8 @@
mod tests;
-pub mod core;
-pub mod error;
-pub mod phase;
+pub mod semantics;
+pub use crate::semantics::*;
pub mod syntax {
pub use dhall_syntax::*;
diff --git a/dhall/src/core/context.rs b/dhall/src/semantics/core/context.rs
index 00e1493..00e1493 100644
--- a/dhall/src/core/context.rs
+++ b/dhall/src/semantics/core/context.rs
diff --git a/dhall/src/core/mod.rs b/dhall/src/semantics/core/mod.rs
index 08213f7..08213f7 100644
--- a/dhall/src/core/mod.rs
+++ b/dhall/src/semantics/core/mod.rs
diff --git a/dhall/src/core/value.rs b/dhall/src/semantics/core/value.rs
index bd7a9b9..bd7a9b9 100644
--- a/dhall/src/core/value.rs
+++ b/dhall/src/semantics/core/value.rs
diff --git a/dhall/src/core/valuef.rs b/dhall/src/semantics/core/valuef.rs
index e9ac391..e9ac391 100644
--- a/dhall/src/core/valuef.rs
+++ b/dhall/src/semantics/core/valuef.rs
diff --git a/dhall/src/core/var.rs b/dhall/src/semantics/core/var.rs
index f9d3478..f9d3478 100644
--- a/dhall/src/core/var.rs
+++ b/dhall/src/semantics/core/var.rs
diff --git a/dhall/src/error/mod.rs b/dhall/src/semantics/error/mod.rs
index 1d58e6f..1d58e6f 100644
--- a/dhall/src/error/mod.rs
+++ b/dhall/src/semantics/error/mod.rs
diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
new file mode 100644
index 0000000..9d2e462
--- /dev/null
+++ b/dhall/src/semantics/mod.rs
@@ -0,0 +1,3 @@
+pub mod core;
+pub mod error;
+pub mod phase;
diff --git a/dhall/src/phase/binary.rs b/dhall/src/semantics/phase/binary.rs
index b1e7638..b1e7638 100644
--- a/dhall/src/phase/binary.rs
+++ b/dhall/src/semantics/phase/binary.rs
diff --git a/dhall/src/phase/mod.rs b/dhall/src/semantics/phase/mod.rs
index 918c4d0..918c4d0 100644
--- a/dhall/src/phase/mod.rs
+++ b/dhall/src/semantics/phase/mod.rs
diff --git a/dhall/src/phase/normalize.rs b/dhall/src/semantics/phase/normalize.rs
index 3ed53f4..3ed53f4 100644
--- a/dhall/src/phase/normalize.rs
+++ b/dhall/src/semantics/phase/normalize.rs
diff --git a/dhall/src/phase/parse.rs b/dhall/src/semantics/phase/parse.rs
index e277e54..e277e54 100644
--- a/dhall/src/phase/parse.rs
+++ b/dhall/src/semantics/phase/parse.rs
diff --git a/dhall/src/phase/resolve.rs b/dhall/src/semantics/phase/resolve.rs
index 5920f82..5920f82 100644
--- a/dhall/src/phase/resolve.rs
+++ b/dhall/src/semantics/phase/resolve.rs
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/semantics/phase/typecheck.rs
index 9a41be9..9a41be9 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/semantics/phase/typecheck.rs