diff options
author | Nadrieril | 2019-04-07 11:09:57 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-07 11:10:08 +0200 |
commit | c461548c32f8cb3ee2db5ade88ae4f91b3838ab5 (patch) | |
tree | 4f9993af400d9d598641cc9479dd4334591babd1 /dhall_generator/src | |
parent | 354ccf95ff03fa39b8812e6b138db2b1993a981e (diff) |
Avoid constructing exprs manually when possible
Diffstat (limited to 'dhall_generator/src')
-rw-r--r-- | dhall_generator/src/quote.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall_generator/src/quote.rs b/dhall_generator/src/quote.rs index d0c5733..8fce89d 100644 --- a/dhall_generator/src/quote.rs +++ b/dhall_generator/src/quote.rs @@ -63,6 +63,9 @@ where let a = quote_vec(a); quote! { dhall_core::ExprF::App(#f, #a) } } + Annot(x, t) => { + quote! { dhall_core::ExprF::Annot(#x, #t) } + } Const(c) => { let c = quote_const(c); quote! { dhall_core::ExprF::Const(#c) } |