diff options
author | Nadrieril | 2020-05-30 14:16:37 +0100 |
---|---|---|
committer | GitHub | 2020-05-30 14:16:37 +0100 |
commit | f554164014a85b8d4d7248a8bdfa6dbcd2009988 (patch) | |
tree | 160f51119db6b7a54eaf986b2f188cf6e1f74bc9 /dhall/src/semantics/parse.rs | |
parent | aaba9f7a1a6119443aa6a569e451e0e549e5bb37 (diff) | |
parent | a9b0923fb7a1f3aac5d872af70c4e4a0dd80621d (diff) |
Merge pull request #167 from Nadrieril/wasm
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/parse.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/parse.rs b/dhall/src/semantics/parse.rs index 2326471..82396e0 100644 --- a/dhall/src/semantics/parse.rs +++ b/dhall/src/semantics/parse.rs @@ -4,7 +4,7 @@ use std::path::Path; use url::Url; use crate::error::Error; -use crate::semantics::resolve::ImportLocation; +use crate::semantics::resolve::{download_http_text, ImportLocation}; use crate::syntax::binary; use crate::syntax::parse_expr; use crate::Parsed; @@ -17,7 +17,7 @@ pub fn parse_file(f: &Path) -> Result<Parsed, Error> { } pub fn parse_remote(url: Url) -> Result<Parsed, Error> { - let body = reqwest::blocking::get(url.clone()).unwrap().text().unwrap(); + let body = download_http_text(url.clone())?; let expr = parse_expr(&body)?; let root = ImportLocation::Remote(url); Ok(Parsed(expr, root)) |