diff options
| -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), } } |