diff options
author | Nadrieril | 2019-12-15 19:50:15 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-15 19:50:15 +0000 |
commit | ec761bbd0de807bf1cb0da9389d714e3d812dd6d (patch) | |
tree | 2313e16ad60995fcdc697f26e51a8ea8e294ac4c /dhall/src/semantics/phase/binary.rs | |
parent | 7abd49772643ee4e131ef47de66db22ba7c1e037 (diff) |
fixup! Reexport dhall_syntax as a module in dhall
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/phase/binary.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/phase/binary.rs b/dhall/src/semantics/phase/binary.rs index b1e7638..1fc41d4 100644 --- a/dhall/src/semantics/phase/binary.rs +++ b/dhall/src/semantics/phase/binary.rs @@ -31,8 +31,8 @@ pub fn rc<E>(x: RawExpr<E>) -> Expr<E> { } fn cbor_value_to_dhall(data: &cbor::Value) -> Result<DecodedExpr, DecodeError> { - use cbor::Value::*; use crate::syntax::{BinOp, Builtin, Const}; + use cbor::Value::*; use ExprF::*; Ok(rc(match data { String(s) => match Builtin::parse(s) { @@ -472,9 +472,9 @@ fn serialize_subexpr<S, E>(ser: S, e: &Expr<E>) -> Result<S::Ok, S::Error> where S: serde::ser::Serializer, { - use cbor::Value::{String, I64, U64}; use crate::syntax::Builtin; use crate::syntax::ExprF::*; + use cbor::Value::{String, I64, U64}; use std::iter::once; use self::Serialize::{RecordMap, UnionMap}; |