Re:What would it take to add refinement types to Rust?
by int_19h on Wednesday December 25, 2024 @10:30PM
(#42512948)
That is just this one particular implementation of Pascal (unsure which one). The language spec does say that it is an error to assign a value out of range, but as far as what this actually means, it only says that "a complying processor is required to provide documentation concerning its treatment of errors".
[ Parent
| on HN ]
There are no comments on this comment yet.