diff options
author | Nadrieril | 2019-09-02 22:50:16 +0200 |
---|---|---|
committer | Nadrieril | 2019-09-02 22:50:16 +0200 |
commit | 5dde11c8ffb13fbaf5dbc9c2b544270c22a7d2f5 (patch) | |
tree | 3ad2093630f9877b8593a9b8210e353edf327b6c /dhall_syntax/src/core | |
parent | 0c746c4e5dc3c490071e9dccdf089e33ce3ea7bf (diff) |
Parse polymorphically in the Embed parameter
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) } |