-
-
Notifications
You must be signed in to change notification settings - Fork 2.2k
Closed
Labels
Status: ConfirmedThis bug has been confirmed to be valid by a contributor.This bug has been confirmed to be valid by a contributor.Unit: CheckerBugs/feature requests, that are related to the type checker.Bugs/feature requests, that are related to the type checker.
Description
1st case
module main
pub fn a(x1 [32]u8, y1 [32]u8, z1 [32]u8, x2 [32]u8, y2 [32]u8, z2 [32]u8) ([32]u8, [32]u8, [32]u8) {
return [32]u8{}, [32]u8{}, [32]u8{}
}
pub fn b(x [32]u8, y [32]u8, z [32]u8) ([32]u8, [32]u8) {
return [32]u8{}, [32]u8{}
}
fn main() {
x1 := [32]u8{}
y1 := [32]u8{}
z1 := [32]u8{}
x2 := [32]u8{}
y2 := [32]u8{}
z2 := [32]u8{}
x3, y3, z3 := a(x1, y1, z1, x2, y2, z2)
xx, yy := b(x3, y3, z3)
println('Done: $xx $yy')
}
cannot convert 'struct _v_Array_fixed_u8_32' to 'unsigned char *'
2nd case
type Bytes32 = [32]u8
pub fn a(x1 Bytes32, y1 Bytes32, z1 Bytes32, x2 Bytes32, y2 Bytes32, z2 Bytes32) (Bytes32, Bytes32, Bytes32) {
return Bytes32{}, Bytes32{}, Bytes32{}
}
pub fn b(x Bytes32, y Bytes32, z Bytes32) (Bytes32, Bytes32) {
return Bytes32{}, Bytes32{}
}
fn main() {
x1 := Bytes32{}
y1 := Bytes32{}
z1 := Bytes32{}
x2 := Bytes32{}
y2 := Bytes32{}
z2 := Bytes32{}
x3, y3, z3 := a(x1, y1, z1, x2, y2, z2)
xx, yy := b(x3, y3, z3)
println('Done: $xx $yy')
}
error: expression expected before '{'
Note
You can use the 👍 reaction to increase the issue's priority for developers.
Please note that only the 👍 reaction to the issue itself counts as a vote.
Other reactions and those to comments will not be taken into account.
Metadata
Metadata
Assignees
Labels
Status: ConfirmedThis bug has been confirmed to be valid by a contributor.This bug has been confirmed to be valid by a contributor.Unit: CheckerBugs/feature requests, that are related to the type checker.Bugs/feature requests, that are related to the type checker.