diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-18 19:07:59 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-18 19:07:59 +0300 |
| commit | 133edb2824130873e0e590ebec603d0b6f9da6a9 (patch) | |
| tree | f1abb7a453d366de27c4e4855ff15af165b09ded /src/type/check.rs | |
| parent | c061d2970910c6bfb5be2d8b950a44d8c80428ca (diff) | |
| download | myslip-133edb2824130873e0e590ebec603d0b6f9da6a9.tar.gz myslip-133edb2824130873e0e590ebec603d0b6f9da6a9.zip | |
fix: make case type checking work according to updated tests
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 { |