diff options
author | Nadrieril | 2019-03-31 19:37:29 +0200 |
---|---|---|
committer | Nadrieril | 2019-03-31 19:37:29 +0200 |
commit | 737472abf9c0ca2030ab8c2bb0b1d4af41167183 (patch) | |
tree | a9477b48c7e029e5726c7faa54934bb429fd0ee6 /dhall/src/imports.rs | |
parent | 7374d0524ccd53b256107667b213597c05720d2d (diff) |
Remove evil Deref impl
Diffstat (limited to 'dhall/src/imports.rs')
-rw-r--r-- | dhall/src/imports.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/imports.rs b/dhall/src/imports.rs index 8df4e97..96268ca 100644 --- a/dhall/src/imports.rs +++ b/dhall/src/imports.rs @@ -79,9 +79,9 @@ pub fn load_dhall_file( let resolve = |import: &Import| -> Expr<X, X> { resolve_import(import, &root).unwrap() }; - expr.map_embed(&resolve).squash_embed() + expr.as_ref().map_embed(&resolve).squash_embed() } else { - panic_imports(&expr) + panic_imports(expr.as_ref()) }; Ok(expr) } |