summaryrefslogtreecommitdiff
path: root/dhall/src/main.rs
diff options
context:
space:
mode:
authorNadrieril2019-03-09 14:32:07 +0100
committerNadrieril2019-03-09 14:32:07 +0100
commite27adcdce55dc15c97bb0ac6d5bc0b082d2232c2 (patch)
tree0b9580165db1bde863bc4cff619593fbce5bf4c3 /dhall/src/main.rs
parentd8b69acc45334743c848a3d8b7689729d89eaf3a (diff)
Use new Label type instead of &str in parser
Diffstat (limited to 'dhall/src/main.rs')
-rw-r--r--dhall/src/main.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs
index d072fe7..db69a46 100644
--- a/dhall/src/main.rs
+++ b/dhall/src/main.rs
@@ -65,8 +65,8 @@ fn main() {
}
};
- let expr: Expr<String, _, _> =
- imports::panic_imports(&expr.take_ownership_of_labels());
+ let expr: Expr<Label, _, _> =
+ imports::panic_imports(&expr);
let type_expr = match typecheck::type_of(&expr) {
Err(e) => {