diff options
Diffstat (limited to 'src/type/check.rs')
| -rw-r--r-- | src/type/check.rs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/type/check.rs b/src/type/check.rs index b0311d1..6d54570 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -302,14 +302,6 @@ impl SExp { // Case expressions if let Some((scrutinee, patarms)) = scons(op.clone(), l.clone()).check_case() { let scruty = scrutinee.infer_type(ctx.clone())?; - let scruty = match scruty { - List(v) if ( - v.get(0) == Some(&QuoteTy) - || v.get(0) == Some(&VecType) - ) && v.get(1).is_some() => - v[1].clone(), - t => t, - }; let mut ty: Option<Type> = None; let mut has_wildcard = false; for patandarm in patarms { |