diff options
Diffstat (limited to 'dhall_generator')
| -rw-r--r-- | dhall_generator/src/quote.rs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/dhall_generator/src/quote.rs b/dhall_generator/src/quote.rs index 38910a8..c588eda 100644 --- a/dhall_generator/src/quote.rs +++ b/dhall_generator/src/quote.rs @@ -66,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) } |