Question about array out-of-bound checking about core HOT 5 CLOSED

It seems that the compiler uses builtin intrinsic by default. Actually this code won't be executed even if you write:

pub fn iter[T](self : Array[T], f : (T) -> Unit) -> Unit {}

all tests can also be completed.

from core.

It seems that the compiler uses builtin intrinsic by default. Actually this code won't be executed even if you write:

pub fn iter[T](self : Array[T], f : (T) -> Unit) -> Unit {}

all tests can also be completed.

It seems you are right. I added debug("test") to the begining of the function Array::iter, but the message can't be printed.

from core.

The body of function which marked@intrinsic said it's default implementation. Compiler may not use default implementation if it found builtin platform specific implementation.

You can remove the @intrinsic mark to disable this behavior.

from core.

we will disable @intrinsic in debug mode

from core.

Thanks for your answers.

from core.