diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-17 13:09:19 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-17 13:09:19 +0300 |
| commit | a1ac176dd77ff9acaf62de825c24e3cdbd3bcdaa (patch) | |
| tree | 55f6248dd71f33cd731d3b67722432fb26df7259 /src/type/conversion.rs | |
| parent | 3309cad8c27471f6e3c48a6ecea836ee3f9a3d7e (diff) | |
| download | myslip-a1ac176dd77ff9acaf62de825c24e3cdbd3bcdaa.tar.gz myslip-a1ac176dd77ff9acaf62de825c24e3cdbd3bcdaa.zip | |
fix: changed type of (() T) from (T ...) to (Vector (T ...))
this makes the type of the empty vector consistent with the
runtime behavior and prevents weirdly typed expressions such as
(vector (() Int)) : (Vector (Int ...)).
removed an unused import in case.rs and changed a unused pattern
variable to an underscore in conversion.rs.
Diffstat (limited to 'src/type/conversion.rs')
| -rw-r--r-- | src/type/conversion.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type/conversion.rs b/src/type/conversion.rs index 1ada0d3..1d14971 100644 --- a/src/type/conversion.rs +++ b/src/type/conversion.rs @@ -109,7 +109,7 @@ impl Type { } }, - (VecOf(a), VecOf(b)) => { + (VecOf(_), VecOf(b)) => { match &**b { VarType(s) => (vecof(vt(s)), ctx), _ => (vt("T"), ctx) |