diff options
| author | Nadrieril | 2021-04-03 14:22:32 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-03 14:22:32 +0000 |
| commit | 527194222bbdcf559cfec3aac9b43c9ea05c2d6e (patch) | |
| tree | 22b4fed4105d8b0a6e4fa53c97e855542b61a8fb /dhall/src/semantics/tck/typecheck.rs | |
| parent | 846c14f92bda2fb3e68c3debf940414628013574 (diff) | |
| parent | c331dcfaed6177a322de50fed418aa619210e88b (diff) | |
Merge pull request #215 from cstorey/remove-redundant-semicolons
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/semantics/tck/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs index 23c2bd2..b0a4f21 100644 --- a/dhall/src/semantics/tck/typecheck.rs +++ b/dhall/src/semantics/tck/typecheck.rs @@ -256,7 +256,7 @@ pub fn type_with<'cx, 'hir>( HirKind::Expr(ExprKind::Let(binder, annot, val, body)) => { let val_annot = annot .as_ref() - .map(|t| Ok(type_with(env, t, None)?.eval_to_type(env)?)) + .map(|t| type_with(env, t, None)?.eval_to_type(env)) .transpose()?; let val = type_with(env, &val, val_annot)?; let val_nf = val.eval(env); |