diff options
| author | NanoTech | 2017-03-07 23:04:37 -0600 |
|---|---|---|
| committer | NanoTech | 2017-03-10 23:48:30 -0600 |
| commit | cc76b4ecea3da2d0e7d382e2e511bf283d63600f (patch) | |
| tree | 370fb02ac1f7df3bb166fa968f4e03e13d1a78ce /src | |
| parent | 9d737ee11959bc2ec7563ac004637ce04160bcd4 (diff) | |
Fix match on Embed(X)
Diffstat (limited to 'src')
| -rw-r--r-- | src/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/typecheck.rs b/src/typecheck.rs index 8abc64c..39caa7e 100644 --- a/src/typecheck.rs +++ b/src/typecheck.rs @@ -506,7 +506,7 @@ type_with ctx (Note s e' ) = case type_with ctx e' of Left (TypeError ctx2 e'' m) -> Left (TypeError ctx2 (Note s e'') m) Right r -> Right r */ - &Embed(ref p) => match p {}, + &Embed(p) => match p {}, _ => panic!("Unimplemented typecheck case: {:?}", e), } } |