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 /stdlib.slip | |
| parent | c061d2970910c6bfb5be2d8b950a44d8c80428ca (diff) | |
| download | myslip-133edb2824130873e0e590ebec603d0b6f9da6a9.tar.gz myslip-133edb2824130873e0e590ebec603d0b6f9da6a9.zip | |
fix: make case type checking work according to updated tests
Diffstat (limited to 'stdlib.slip')
| -rw-r--r-- | stdlib.slip | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib.slip b/stdlib.slip index e73674e..107bb1f 100644 --- a/stdlib.slip +++ b/stdlib.slip @@ -22,8 +22,8 @@ (let sum (fix - (fn sum' ((Int ...) -> Int) ((Int ...) -> Int) - (fn vec (Int ...) Int + (fn sum' ((Vector (Int ...)) -> Int) ((Vector (Int ...)) -> Int) + (fn vec (Vector (Int ...)) Int (case vec ((h ..t) (+ h (sum' t))) (_ 0)) |