fix: tuples

This commit is contained in:
rvcas 2022-12-13 13:13:58 -05:00 committed by KtorZ
parent 37def91fc5
commit 299cd1ac24
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
3 changed files with 7 additions and 7 deletions

View File

@ -1,3 +1,3 @@
test foo() {
(1, []) == (1, [])
#(1, []) == #(1, [])
}

View File

@ -1,9 +1,9 @@
pub fn unzip(xs: List<(a, b)>) -> (List<a>, List<b>) {
pub fn unzip(xs: List<#(a, b)>) -> #(List<a>, List<b>) {
when xs is {
[] -> ([], [])
[(a, b), ..rest] -> {
let (a_tail, b_tail) = unzip(rest)
([a, ..a_tail], [b, ..b_tail])
[] -> #([], [])
[#(a, b), ..rest] -> {
let #(a_tail, b_tail) = unzip(rest)
#([a, ..a_tail], [b, ..b_tail])
}
}
}

View File

@ -1,5 +1,5 @@
all:
@for t in $(shell find . -regex ".*[0-9]\{3\}" -type d | sort); do \
aiken check -d $${t}; \
cargo run --quiet -- check -d $${t}; \
echo ""; \
done