diff options
author | Basile Henry | 2020-11-03 23:32:51 +0100 |
---|---|---|
committer | Basile Henry | 2020-11-03 23:32:51 +0100 |
commit | a56cd6021705ebfd310bc902c4f549bea9b06a5b (patch) | |
tree | 8cd7429e654d31b9fbc68a97d71db92e7571c08a /dhall/src/semantics/parse.rs | |
parent | 559f64fd866fc74e930ddf8984fa11199a57ca2c (diff) | |
parent | f87ffe7a590c9e0a3e0a57854c739a0f89c3784d (diff) |
Merge remote-tracking branch 'upstream/master' into text-replace
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/parse.rs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/dhall/src/semantics/parse.rs b/dhall/src/semantics/parse.rs index 82396e0..a770c15 100644 --- a/dhall/src/semantics/parse.rs +++ b/dhall/src/semantics/parse.rs @@ -1,5 +1,3 @@ -use std::fs::File; -use std::io::Read; use std::path::Path; use url::Url; @@ -36,9 +34,8 @@ pub fn parse_binary(data: &[u8]) -> Result<Parsed, Error> { } pub fn parse_binary_file(f: &Path) -> Result<Parsed, Error> { - let mut buffer = Vec::new(); - File::open(f)?.read_to_end(&mut buffer)?; - let expr = binary::decode(&buffer)?; + let data = crate::utils::read_binary_file(f)?; + let expr = binary::decode(&data)?; let root = ImportLocation::Local(f.to_owned()); Ok(Parsed(expr, root)) } |