diff options
author | Nadrieril | 2019-04-20 23:13:15 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-20 23:13:15 +0200 |
commit | b31690a87e2963d4093210a2c58735a2095e651d (patch) | |
tree | d6bff16ce18dda443aa8b9a2fb31c31f0a502ec4 /dhall_generator/src/quote.rs | |
parent | 9c8ba84fa5d0b392f19e9e9b8569ee2fbe96bd28 (diff) | |
parent | 83bc67d4572fe7961842f915d5559ee489e13dfd (diff) |
Merge branch 'whnf'
Massive normalization rewrite, for greatly improved flexibility
and performance.
Closes #84
Diffstat (limited to '')
-rw-r--r-- | dhall_generator/src/quote.rs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/dhall_generator/src/quote.rs b/dhall_generator/src/quote.rs index 400c12c..c588eda 100644 --- a/dhall_generator/src/quote.rs +++ b/dhall_generator/src/quote.rs @@ -43,7 +43,6 @@ where quote! { dhall_core::ExprF::Lam(#x, #t, #b) } } App(f, a) => { - let a = quote_vec(a); quote! { dhall_core::ExprF::App(#f, #a) } } Annot(x, t) => { @@ -67,11 +66,8 @@ where BoolLit(b) => { quote! { dhall_core::ExprF::BoolLit(#b) } } - EmptyOptionalLit(x) => { - quote! { dhall_core::ExprF::EmptyOptionalLit(#x) } - } - NEOptionalLit(x) => { - quote! { dhall_core::ExprF::NEOptionalLit(#x) } + SomeLit(x) => { + quote! { dhall_core::ExprF::SomeLit(#x) } } EmptyListLit(t) => { quote! { dhall_core::ExprF::EmptyListLit(#t) } |