mirror of
https://github.com/HigherOrderCO/Kind.git
synced 2024-10-05 19:27:30 +03:00
fix Vector.concat using switch instead of match
This commit is contained in:
parent
144c3210df
commit
74ee9a3c97
@ -5,7 +5,7 @@ concat T (xs_len: Nat) (ys_len: Nat)
|
||||
(xs: (Vector T xs_len))
|
||||
(ys: (Vector T ys_len))
|
||||
: (Vector T (add xs_len ys_len))
|
||||
= switch xs {
|
||||
= match xs {
|
||||
cons : (cons T (add xs.len ys_len) xs.head (concat T xs.len ys_len xs.tail ys))
|
||||
nil : ys
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user