diff options
author | Nadrieril Feneanar | 2019-10-12 19:22:14 +0100 |
---|---|---|
committer | GitHub | 2019-10-12 19:22:14 +0100 |
commit | 8a8eeeac3b4f7761fd0916ee69d182597090039d (patch) | |
tree | 5613752829163cbdbcdb9ecec3b6889cfe827425 /dhall_syntax/src/printer.rs | |
parent | d022cd7e807104ffed60a76058c4ccd478ac187a (diff) | |
parent | 88eadcfe795181a3fda138e92d7f787793248e5f (diff) |
Merge pull request #99 from FintanH/fintan/canonicalize
Introduce Canonicalize
Diffstat (limited to 'dhall_syntax/src/printer.rs')
-rw-r--r-- | dhall_syntax/src/printer.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall_syntax/src/printer.rs b/dhall_syntax/src/printer.rs index f3dc648..1e3b7f2 100644 --- a/dhall_syntax/src/printer.rs +++ b/dhall_syntax/src/printer.rs @@ -378,12 +378,12 @@ impl<SubExpr: Display> Display for Import<SubExpr> { }; write!(f, "{}/", prefix)?; let path: String = - path.iter().map(|c| quote_if_needed(&*c)).join("/"); + path.file_path.iter().map(|c| quote_if_needed(&*c)).join("/"); f.write_str(&path)?; } Remote(url) => { write!(f, "{}://{}/", url.scheme, url.authority,)?; - let path: String = url.path.iter().join("/"); + let path: String = url.path.file_path.iter().join("/"); f.write_str(&path)?; if let Some(q) = &url.query { write!(f, "?{}", q)? |