News for hackers. Stuff that matters.
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".

There are no comments on this comment yet.