diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/main.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs index db69a46..349af3d 100644 --- a/dhall/src/main.rs +++ b/dhall/src/main.rs @@ -65,8 +65,7 @@ fn main() { } }; - let expr: Expr<Label, _, _> = - imports::panic_imports(&expr); + let expr: Expr<Label, _, _> = imports::panic_imports(&expr); let type_expr = match typecheck::type_of(&expr) { Err(e) => { @@ -90,5 +89,5 @@ fn main() { println!("{}", type_expr); println!(""); - println!("{}", normalize::<_, _, X, _>(&expr)); + println!("{}", normalize::<_, X, _>(&expr)); } |