Implement binary encoding

Closes #39

1 files changed, 2 insertions, 4 deletions

diff --git a/dhall_syntax/src/core/import.rs b/dhall_syntax/src/core/import.rs
index 00f293c..fbf2f7b 100644
--- a/dhall_syntax/src/core/import.rs
+++ b/dhall_syntax/src/core/import.rs
@@ -1,5 +1,3 @@
-use std::path::PathBuf;
-
 /// The beginning of a file path which anchors subsequent path components
 #[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)]
 pub enum FilePrefix {
@@ -16,7 +14,7 @@ pub enum FilePrefix {
 /// The location of import (i.e. local vs. remote vs. environment)
 #[derive(Debug, Clone, PartialEq, Eq, Hash)]
 pub enum ImportLocation {
-    Local(FilePrefix, PathBuf),
+    Local(FilePrefix, Vec<String>),
     Remote(URL),
     Env(String),
     Missing,
@@ -26,7 +24,7 @@ pub enum ImportLocation {
 pub struct URL {
     pub scheme: Scheme,
     pub authority: String,
-    pub path: PathBuf,
+    pub path: Vec<String>,
     pub query: Option<String>,
     pub headers: Option<Box<ImportHashed>>,
 }