diff options
author | Nadrieril | 2019-09-03 11:35:37 +0200 |
---|---|---|
committer | Nadrieril | 2019-09-03 11:35:37 +0200 |
commit | 7d84b5eb6fdd82fe24139452e2427bfb8128f123 (patch) | |
tree | 927c3c000f338e6e4157a3905904790b0a94f680 /dhall_syntax/src/core | |
parent | 8553b398a5f97eed240f5360282e911392cab6ff (diff) | |
parent | 468977575c68ac4cc3a57395ace4095db50e8947 (diff) |
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Diffstat (limited to '')
-rw-r--r-- | dhall_syntax/src/core/expr.rs | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/dhall_syntax/src/core/expr.rs b/dhall_syntax/src/core/expr.rs index 51b6c47..eeee4d8 100644 --- a/dhall_syntax/src/core/expr.rs +++ b/dhall_syntax/src/core/expr.rs @@ -381,15 +381,10 @@ pub fn rc<E>(x: RawExpr<E>) -> Expr<E> { Expr::from_expr_no_span(x) } -pub(crate) fn spanned( - span: Span, - x: crate::parser::ParsedRawExpr, -) -> crate::parser::ParsedExpr { +pub(crate) fn spanned<E>(span: Span, x: RawExpr<E>) -> Expr<E> { Expr::new(x, span) } -pub(crate) fn unspanned( - x: crate::parser::ParsedRawExpr, -) -> crate::parser::ParsedExpr { +pub(crate) fn unspanned<E>(x: RawExpr<E>) -> Expr<E> { Expr::from_expr_no_span(x) } |