Type checking error when typed slices used as function parameters #38

New issue

Closed

opened 2025-09-19 16:01:42 +00:00 by Furkan · 1 comment

Furkan commented

2025-09-19 16:01:42 +00:00

import io
import mem

myfunc(arr []int) -> int {
    return arr[0]
}

main() {
	arr := new(int, 8)
	arr[0] = 32
    io.write(myfunc(arr))
}

Error:

io.write(myfunc(arr))
┬
╰─ Expected parameter 'arr' of type '[]int64' (encountered '[]int64')

``` import io import mem myfunc(arr []int) -> int { return arr[0] } main() { arr := new(int, 8) arr[0] = 32 io.write(myfunc(arr)) } ``` Error: io.write(myfunc(arr)) ┬ ╰─ Expected parameter 'arr' of type '[]int64' (encountered '[]int64')

👍 1

ed added the

bug

label

2025-09-19 18:07:23 +00:00

ed self-assigned this

2025-09-19 18:07:24 +00:00

ed commented

2025-09-20 07:33:48 +00:00

Owner

Fixed in cli/q@b556e2162c.
Test: cli/q@b556e2162c/tests/int-array-parameter.q

Fixed in https://git.urbach.dev/cli/q/commit/b556e2162c3c0c5b394617c5f3291774be9a78b8. Test: https://git.urbach.dev/cli/q/src/commit/b556e2162c3c0c5b394617c5f3291774be9a78b8/tests/int-array-parameter.q

👍 1

ed added spent time

2025-09-20 07:35:53 +00:00

30 minutes