diff options
author | Nadrieril | 2019-03-09 14:32:07 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-09 14:32:07 +0100 |
commit | e27adcdce55dc15c97bb0ac6d5bc0b082d2232c2 (patch) | |
tree | 0b9580165db1bde863bc4cff619593fbce5bf4c3 /dhall/src/main.rs | |
parent | d8b69acc45334743c848a3d8b7689729d89eaf3a (diff) |
Use new Label type instead of &str in parser
Diffstat (limited to 'dhall/src/main.rs')
-rw-r--r-- | dhall/src/main.rs | 4 |
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) => { |