diff options
author | Nadrieril | 2019-12-20 19:01:07 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-20 19:01:07 +0000 |
commit | 980e50f33a88559edcf8b12cdec91fd9bee84ca9 (patch) | |
tree | f0d5dde2a58e354ad284bd102ca7adf03a941996 /dhall/src/syntax/binary | |
parent | 3999e40e06b6282c10cd57c962b6316c374fc041 (diff) |
s/RawExpr/UnspannedExpr/
Diffstat (limited to 'dhall/src/syntax/binary')
-rw-r--r-- | dhall/src/syntax/binary/decode.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dhall/src/syntax/binary/decode.rs b/dhall/src/syntax/binary/decode.rs index 8b73e46..254ab07 100644 --- a/dhall/src/syntax/binary/decode.rs +++ b/dhall/src/syntax/binary/decode.rs @@ -7,7 +7,8 @@ use crate::semantics::phase::DecodedExpr; use crate::syntax; use crate::syntax::{ Expr, ExprKind, FilePath, FilePrefix, Hash, ImportLocation, ImportMode, - Integer, InterpolatedText, Label, Natural, RawExpr, Scheme, Span, URL, V, + Integer, InterpolatedText, Label, Natural, Scheme, Span, UnspannedExpr, + URL, V, }; pub(crate) fn decode(data: &[u8]) -> Result<DecodedExpr, DecodeError> { @@ -18,7 +19,7 @@ pub(crate) fn decode(data: &[u8]) -> Result<DecodedExpr, DecodeError> { } // Should probably rename this -fn rc<E>(x: RawExpr<E>) -> Expr<E> { +fn rc<E>(x: UnspannedExpr<E>) -> Expr<E> { Expr::new(x, Span::Decoded) } |