summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorNanoTech2017-03-07 23:04:37 -0600
committerNanoTech2017-03-10 23:48:30 -0600
commitcc76b4ecea3da2d0e7d382e2e511bf283d63600f (patch)
tree370fb02ac1f7df3bb166fa968f4e03e13d1a78ce /src
parent9d737ee11959bc2ec7563ac004637ce04160bcd4 (diff)
Fix match on Embed(X)
Diffstat (limited to 'src')
-rw-r--r--src/typecheck.rs2
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),
}
}