ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 01:01:53 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix array spread type bug

Browse Source
This commit is contained in:
collin 2020-12-10 17:54:19 -05:00
parent 563e3a0d5a
commit 08e90f5c59
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/tests/array/spread.leo
View File

@ -1,6 +1,7 @@
// A spread operator `...` copies the elements of one array into another // A spread operator `...` copies the elements of one array into another
function main(a: [u8; 3]) { function main(a: [u8; 3]) {
let b = [1u8, 1u8]; let b = [1u8, 1u8];
let c = [1u8, ...b];
console.assert(a == [1u8, ...b]); console.assert(a == c);
} }

2
type-inference/src/objects/frame.rs
View File

@ -837,7 +837,7 @@ impl Frame {
// Check that the type is an array. // Check that the type is an array.
match array_type { match array_type {
Type::Array(element_type) => Ok(Type::Array(element_type)), Type::Array(element_type) => Ok(*element_type),
type_ => Err(FrameError::invalid_spread(type_, span)), type_ => Err(FrameError::invalid_spread(type_, span)),
} }
} }