From 133edb2824130873e0e590ebec603d0b6f9da6a9 Mon Sep 17 00:00:00 2001 From: Joel Kronqvist Date: Mon, 18 Aug 2025 19:07:59 +0300 Subject: fix: make case type checking work according to updated tests --- src/type/check.rs | 8 -------- 1 file changed, 8 deletions(-) (limited to 'src/type/check.rs') 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 = None; let mut has_wildcard = false; for patandarm in patarms { -- cgit v1.2.3