diff options
| author | Nadrieril | 2020-04-05 17:57:07 +0100 |
|---|---|---|
| committer | GitHub | 2020-04-05 17:57:07 +0100 |
| commit | 7e977f282fb6a0eff0ef45738b9b5c98dc4c6fee (patch) | |
| tree | ad4249609707fd8720a44469152105c2f6a67c79 /dhall/src/syntax/ast/visitor.rs | |
| parent | 5a5aa49e64197899006751db72e404f4b2292d4e (diff) | |
| parent | 820214615547101f8f2b5de209b5189968bddfee (diff) | |
Merge pull request #154 from Nadrieril/cleanup-api
Rewrite serde_dhall API
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/syntax/ast/visitor.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/syntax/ast/visitor.rs b/dhall/src/syntax/ast/visitor.rs index c361bc1..0a0c5ef 100644 --- a/dhall/src/syntax/ast/visitor.rs +++ b/dhall/src/syntax/ast/visitor.rs @@ -51,7 +51,7 @@ where .collect() } -pub(crate) fn visit_ref<'a, F, SE1, SE2, Err>( +pub fn visit_ref<'a, F, SE1, SE2, Err>( input: &'a ExprKind<SE1>, mut f: F, ) -> Result<ExprKind<SE2>, Err> @@ -91,7 +91,7 @@ where Annot(x, t) => Annot(expr!(x)?, expr!(t)?), Const(k) => Const(*k), Builtin(v) => Builtin(*v), - Lit(l) => Lit(l.clone()), + Num(n) => Num(n.clone()), TextLit(t) => TextLit(t.traverse_ref(|e| expr!(e))?), BinOp(o, x, y) => BinOp(*o, expr!(x)?, expr!(y)?), BoolIf(b, t, f) => BoolIf(expr!(b)?, expr!(t)?, expr!(f)?), |