3 ms·
I am the guy assigned to work on that: sorry for the delay, but it is being worked on.
by alehander42 6y ago
I am the guy assigned to work on that: sorry for the delay, but it is being worked on.
- Conlectus 6y agoExcellent news! I read the discussion that has since been linked elsewhere, and got the general impression that there wasn't going to be a change for backwards compatibility reasons. Glad to be proven wrong!
- alehander42 6y agothe default might not be changed in 1.x, but this shouldn't make it less typesafe: access to nilable types would be checked. there are also the z3-integration related checks which might even apply to index bounds or eventually other invariants, so this kind of safety is important for Araq and Nim https://nim-lang.org/docs/drnim.html https://nim-lang.org/docs/drnim.html