diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-18 13:56:58 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-18 13:56:58 +0300 |
| commit | 183311b872406e1928851a29a953c07954653297 (patch) | |
| tree | c636bcbc40c3ff22ae2a74a9cafd625ecc1e0267 /src/type/check.rs | |
| parent | 6ce77dfc296c24d43ac1e3b2daffec0a7e485891 (diff) | |
| download | myslip-183311b872406e1928851a29a953c07954653297.tar.gz myslip-183311b872406e1928851a29a953c07954653297.zip | |
fix: refined [x] to x conversion, think (not true) and (vector 1)
Diffstat (limited to 'src/type/check.rs')
| -rw-r--r-- | src/type/check.rs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/type/check.rs b/src/type/check.rs index f1c4a2b..b0311d1 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -348,13 +348,6 @@ impl SExp { let opertype = (*op).infer_type(ctx.clone())?; let argstype = (*l).infer_list_type(ctx)?; - // makes [x] x - let argstype = match argstype { - List(v) if v.get(0).is_some() && v.get(1).is_none() => - v.get(0).unwrap().clone(), - t => t, - }; - let conv_args = match (opertype.clone(), argstype.clone()) { (Arrow(from, _), a) => match a.clone().convert(&*from) { Ok(s) => Ok(s), |