From 54382cd107d1befd6015f8232716158a20db44a4 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 23:35:39 +0100
Subject: Start parsing imports

---
 dhall/src/imports.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 dhall/src/imports.rs

(limited to 'dhall/src/imports.rs')

diff --git a/dhall/src/imports.rs b/dhall/src/imports.rs
new file mode 100644
index 0000000..32ddfd7
--- /dev/null
+++ b/dhall/src/imports.rs
@@ -0,0 +1,11 @@
+use dhall_core::{Expr, Import, ImportLocation, ImportMode, FilePrefix, X};
+
+
+// fn resolve_import(import: Import) -> Expr<X, Import> {
+
+// }
+
+pub fn resolve_imports<'i, S: Clone>(expr: &Expr<'i, S, Import>) -> Expr<'i, S, X> {
+    let no_import = |_: &Import| -> X { panic!("ahhh import") };
+    expr.map_embed(&no_import)
+}
-- 
cgit v1.2.3