diff options
author | Nadrieril | 2019-03-21 22:08:23 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-21 22:08:23 +0100 |
commit | 4b99a3fb46191a83fa8551f21b98cff689bbb338 (patch) | |
tree | 0d07b39dbcf794c9fe1174aeb6fb4923df2fd9b7 /dhall/src/imports.rs | |
parent | ea08d2528d2ee46446ac8981e72af5c610e43ce1 (diff) |
Improve import handling in parser
Diffstat (limited to '')
-rw-r--r-- | dhall/src/imports.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/dhall/src/imports.rs b/dhall/src/imports.rs index 2435663..9f60ee7 100644 --- a/dhall/src/imports.rs +++ b/dhall/src/imports.rs @@ -84,3 +84,12 @@ pub fn load_dhall_file( }; Ok(expr) } + +pub fn load_dhall_file_no_resolve_imports( + f: &Path, +) -> Result<ParsedExpr, DhallError> { + let mut buffer = String::new(); + File::open(f)?.read_to_string(&mut buffer)?; + let expr = parse_expr(&*buffer)?; + Ok(expr) +} |