diff options
author | Nadrieril | 2019-12-15 19:42:57 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-15 19:42:57 +0000 |
commit | 929a34c177f8b18ae791f77bbd4630a862fb1070 (patch) | |
tree | 2b637a803ba1d833545927363f8963b2d2849956 /serde_dhall/src | |
parent | 4c3552e23f788f971dc5879c99e1e659d8ddae8f (diff) |
Reexport dhall_syntax as a module in dhall
Diffstat (limited to 'serde_dhall/src')
-rw-r--r-- | serde_dhall/src/lib.rs | 2 | ||||
-rw-r--r-- | serde_dhall/src/serde.rs | 2 | ||||
-rw-r--r-- | serde_dhall/src/static_type.rs | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/serde_dhall/src/lib.rs b/serde_dhall/src/lib.rs index d371d6d..91b47e5 100644 --- a/serde_dhall/src/lib.rs +++ b/serde_dhall/src/lib.rs @@ -123,7 +123,7 @@ pub use value::Value; // A Dhall value. pub mod value { use dhall::phase::{NormalizedExpr, Parsed, Typed}; - use dhall_syntax::Builtin; + use dhall::syntax::Builtin; use super::de::{Error, Result}; diff --git a/serde_dhall/src/serde.rs b/serde_dhall/src/serde.rs index 26708c1..2972ea2 100644 --- a/serde_dhall/src/serde.rs +++ b/serde_dhall/src/serde.rs @@ -1,7 +1,7 @@ use std::borrow::Cow; use dhall::phase::NormalizedExpr; -use dhall_syntax::ExprF; +use dhall::syntax::ExprF; use crate::de::{Deserialize, Error, Result}; use crate::Value; diff --git a/serde_dhall/src/static_type.rs b/serde_dhall/src/static_type.rs index 67a7bc4..1323aa3 100644 --- a/serde_dhall/src/static_type.rs +++ b/serde_dhall/src/static_type.rs @@ -1,4 +1,4 @@ -use dhall_syntax::{Builtin, Integer, Natural}; +use dhall::syntax::{Builtin, Integer, Natural}; use crate::Value; |