diff options
| author | Nadrieril | 2019-05-09 21:54:45 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-09 21:54:45 +0200 |
| commit | dae106b3de0888e8a704c0efa3f9d991590f7858 (patch) | |
| tree | 750daf7cb5b44bed4772ace3457c583c0ef86e4d /dhall/src/phase/typecheck.rs | |
| parent | 6444faa2dee271e6d22226dc30b659e13fa8aead (diff) | |
Rewrite the StaticType trait and everything around it
Diffstat (limited to 'dhall/src/phase/typecheck.rs')
| -rw-r--r-- | dhall/src/phase/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs index e1dffb0..7f988c8 100644 --- a/dhall/src/phase/typecheck.rs +++ b/dhall/src/phase/typecheck.rs @@ -391,7 +391,7 @@ fn type_with( let e = e.rewrap(Annot(x, t)); return type_with(ctx, e); } - Embed(p) => p.clone().into(), + Embed(p) => p.clone().into_typed(), Var(var) => match ctx.lookup(&var) { Some(typed) => typed, None => { |