From cc76b4ecea3da2d0e7d382e2e511bf283d63600f Mon Sep 17 00:00:00 2001 From: NanoTech Date: Tue, 7 Mar 2017 23:04:37 -0600 Subject: Fix match on Embed(X) --- src/typecheck.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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), } } -- cgit v1.2.3