summaryrefslogtreecommitdiff
path: root/serde_dhall
diff options
context:
space:
mode:
authorNadrieril2019-08-13 19:31:23 +0200
committerNadrieril2019-08-13 19:31:23 +0200
commit5895c3aa6552f75d7e5202be561f9734fe8945e7 (patch)
tree80c4258ce94e82af29bf6a09f483c38601a16b34 /serde_dhall
parentcbd62bb57bcc94e0133c57437488a5af22a0b1c2 (diff)
No need to track the absence of `Span`s at the type level
Diffstat (limited to '')
-rw-r--r--serde_dhall/src/serde.rs9
1 files changed, 6 insertions, 3 deletions
diff --git a/serde_dhall/src/serde.rs b/serde_dhall/src/serde.rs
index 10d5a17..d891127 100644
--- a/serde_dhall/src/serde.rs
+++ b/serde_dhall/src/serde.rs
@@ -1,7 +1,10 @@
+use std::borrow::Cow;
+
+use dhall::phase::NormalizedSubExpr;
+use dhall_syntax::ExprF;
+
use crate::de::{Deserialize, Error, Result};
use crate::Value;
-use dhall_syntax::{ExprF, SubExpr, X};
-use std::borrow::Cow;
impl<'a, T> Deserialize for T
where
@@ -12,7 +15,7 @@ where
}
}
-struct Deserializer<'a>(Cow<'a, SubExpr<X, X>>);
+struct Deserializer<'a>(Cow<'a, NormalizedSubExpr>);
impl<'de: 'a, 'a> serde::de::IntoDeserializer<'de, Error> for Deserializer<'a> {
type Deserializer = Deserializer<'a>;