summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-05-04 12:40:48 +0200
committerNadrieril2019-05-04 12:40:48 +0200
commit4f04d1e6f02113ad0f539b723333f8f1f5734f13 (patch)
tree140e2a97597d1f340191c9603313119e6661ec65 /dhall
parent45be2ff1f5bb3d6e0faa098402adf985b3d5e7ca (diff)
Rename dhall_generator to dhall_proc_macros
Diffstat (limited to 'dhall')
-rw-r--r--dhall/Cargo.toml2
-rw-r--r--dhall/src/lib.rs2
-rw-r--r--dhall/src/normalize.rs2
-rw-r--r--dhall/src/traits/static_type.rs2
-rw-r--r--dhall/src/typecheck.rs2
-rw-r--r--dhall/tests/traits.rs16
6 files changed, 13 insertions, 13 deletions
diff --git a/dhall/Cargo.toml b/dhall/Cargo.toml
index 28123e5..d08627d 100644
--- a/dhall/Cargo.toml
+++ b/dhall/Cargo.toml
@@ -14,7 +14,7 @@ serde = { version = "1.0", features = ["derive"] }
serde_cbor = "0.9.0"
improved_slice_patterns = { version = "2.0.0", path = "../improved_slice_patterns" }
dhall_syntax = { path = "../dhall_syntax" }
-dhall_generator = { path = "../dhall_generator" }
+dhall_proc_macros = { path = "../dhall_proc_macros" }
[dev-dependencies]
pretty_assertions = "0.6.1"
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 6e4361f..a531f64 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -140,7 +140,7 @@ mod typecheck;
pub mod de {
pub use crate::traits::{Deserialize, SimpleStaticType, StaticType};
#[doc(hidden)]
- pub use dhall_generator::SimpleStaticType;
+ pub use dhall_proc_macros::SimpleStaticType;
/// Deserialize an instance of type T from a string of Dhall text.
///
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index c64bb4a..c035d93 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -7,7 +7,7 @@ use dhall_syntax::{
rc, BinOp, Builtin, Const, ExprF, Integer, InterpolatedText,
InterpolatedTextContents, Label, Natural, SubExpr, V, X,
};
-use dhall_generator as dhall;
+use dhall_proc_macros as dhall;
use crate::expr::{Normalized, Type, Typed, TypedInternal};
diff --git a/dhall/src/traits/static_type.rs b/dhall/src/traits/static_type.rs
index 6e42da8..60b894c 100644
--- a/dhall/src/traits/static_type.rs
+++ b/dhall/src/traits/static_type.rs
@@ -1,6 +1,6 @@
use crate::expr::*;
use dhall_syntax::*;
-use dhall_generator as dhall;
+use dhall_proc_macros as dhall;
/// A value that has a statically-known Dhall type.
///
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 1683fbf..0b8ea53 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -10,7 +10,7 @@ use crate::traits::DynamicType;
use dhall_syntax;
use dhall_syntax::context::Context;
use dhall_syntax::*;
-use dhall_generator as dhall;
+use dhall_proc_macros as dhall;
use self::TypeMessage::*;
diff --git a/dhall/tests/traits.rs b/dhall/tests/traits.rs
index e26a6c7..4b21d42 100644
--- a/dhall/tests/traits.rs
+++ b/dhall/tests/traits.rs
@@ -1,7 +1,7 @@
#![feature(proc_macro_hygiene)]
use dhall::de::SimpleStaticType;
use dhall_syntax::{SubExpr, X};
-use dhall_generator;
+use dhall_proc_macros;
#[test]
fn test_static_type() {
@@ -11,19 +11,19 @@ fn test_static_type() {
assert_eq!(
bool::get_simple_static_type(),
- mktype(dhall_generator::subexpr!(Bool))
+ mktype(dhall_proc_macros::subexpr!(Bool))
);
assert_eq!(
String::get_simple_static_type(),
- mktype(dhall_generator::subexpr!(Text))
+ mktype(dhall_proc_macros::subexpr!(Text))
);
assert_eq!(
<Option<bool>>::get_simple_static_type(),
- mktype(dhall_generator::subexpr!(Optional Bool))
+ mktype(dhall_proc_macros::subexpr!(Optional Bool))
);
assert_eq!(
<(bool, Option<String>)>::get_simple_static_type(),
- mktype(dhall_generator::subexpr!({ _1: Bool, _2: Optional Text }))
+ mktype(dhall_proc_macros::subexpr!({ _1: Bool, _2: Optional Text }))
);
#[derive(dhall::de::SimpleStaticType)]
@@ -35,7 +35,7 @@ fn test_static_type() {
assert_eq!(
<A as dhall::de::SimpleStaticType>::get_simple_static_type(),
mktype(
- dhall_generator::subexpr!({ field1: Bool, field2: Optional Bool })
+ dhall_proc_macros::subexpr!({ field1: Bool, field2: Optional Bool })
)
);
@@ -63,7 +63,7 @@ fn test_static_type() {
struct D();
assert_eq!(
<C<D>>::get_simple_static_type(),
- mktype(dhall_generator::subexpr!({ _1: {}, _2: Optional Text }))
+ mktype(dhall_proc_macros::subexpr!({ _1: {}, _2: Optional Text }))
);
#[derive(SimpleStaticType)]
@@ -74,6 +74,6 @@ fn test_static_type() {
};
assert_eq!(
<E<bool>>::get_simple_static_type(),
- mktype(dhall_generator::subexpr!(< A: Bool | B: Text >))
+ mktype(dhall_proc_macros::subexpr!(< A: Bool | B: Text >))
);
}