diff options
author | Nadrieril | 2019-03-09 00:42:46 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-09 00:43:13 +0100 |
commit | 505e6a34cc5aadac1831d31ef64b94b61c2ace13 (patch) | |
tree | 1cca4b507552df613c9852d755e9ada8dee67d7d /dhall/src/main.rs | |
parent | c6aafe818ca56ec8bc6d3cd27824eba0a2d6b874 (diff) |
First import works !
Diffstat (limited to '')
-rw-r--r-- | dhall/src/main.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs index 23c8108..d072fe7 100644 --- a/dhall/src/main.rs +++ b/dhall/src/main.rs @@ -65,7 +65,8 @@ fn main() { } }; - let expr: Expr<String, _, _> = imports::resolve_imports(&expr.take_ownership_of_labels()); + let expr: Expr<String, _, _> = + imports::panic_imports(&expr.take_ownership_of_labels()); let type_expr = match typecheck::type_of(&expr) { Err(e) => { |