Start parsing imports

1 files changed, 3 insertions, 1 deletions

diff --git a/dhall_generator/src/lib.rs b/dhall_generator/src/lib.rs
index 5b3cc6f..b26ea63 100644
--- a/dhall_generator/src/lib.rs
+++ b/dhall_generator/src/lib.rs
@@ -8,7 +8,9 @@ use quote::quote;
 #[proc_macro]
 pub fn dhall(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
     let input_str = input.to_string();
-    let expr = parser::parse_expr_pest(&input_str).unwrap();
+    let expr: Box<Expr<X, Import>> = parser::parse_expr_pest(&input_str).unwrap();
+    let no_import = |_: &Import| -> X { panic!("Don't use import in dhall!()") };
+    let expr = expr.map_embed(&no_import);
     let output = dhall_to_tokenstream(&expr, &Context::new());
     output.into()
 }