From e27adcdce55dc15c97bb0ac6d5bc0b082d2232c2 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 9 Mar 2019 14:32:07 +0100 Subject: Use new Label type instead of &str in parser --- dhall/src/imports.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall/src/imports.rs') diff --git a/dhall/src/imports.rs b/dhall/src/imports.rs index 9ae66a7..d9f0b33 100644 --- a/dhall/src/imports.rs +++ b/dhall/src/imports.rs @@ -75,7 +75,7 @@ pub fn load_dhall_file( let mut buffer = String::new(); File::open(f)?.read_to_string(&mut buffer)?; let expr = parser::parse_expr(&*buffer)?; - let expr = expr.take_ownership_of_labels(); + let expr = expr.map_label(&|l| String::from(l.clone())); let expr = if resolve_imports { let root = ImportRoot::LocalDir(f.parent().unwrap().to_owned()); let resolve = |import: &Import| -> Expr { -- cgit v1.2.3