Merge branch 'statemachine-api'

1 files changed, 3 insertions, 0 deletions

diff --git a/dhall_generator/src/dhall_expr.rs b/dhall_generator/src/quote.rs
index d0c5733..8fce89d 100644
--- a/dhall_generator/src/dhall_expr.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) }