diff options
author | Nadrieril | 2019-03-09 15:46:30 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-09 15:46:30 +0100 |
commit | 6037cb224c5e61828ba41cb3d34438ad03a71403 (patch) | |
tree | e3ee6d3a5416d60bf7eaedd7407b931b9063d8bb /dhall/src/main.rs | |
parent | a0ac45ccc6bd0168f05626fdf1886560006fcda1 (diff) |
Remove the pervasive Label type parameter
Closes #1
Diffstat (limited to '')
-rw-r--r-- | dhall/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs index 349af3d..edc6baf 100644 --- a/dhall/src/main.rs +++ b/dhall/src/main.rs @@ -65,7 +65,7 @@ fn main() { } }; - let expr: Expr<Label, _, _> = imports::panic_imports(&expr); + let expr: Expr<_, _> = imports::panic_imports(&expr); let type_expr = match typecheck::type_of(&expr) { Err(e) => { |