Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
haetze
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
2 ms
·
1.
▲
by
haetze
6y ago
You are right that SPARK tries to prove the absence of these errors. In that case you don't need these checks and turn them off. If you don't they are still run. Ada has Dynamic_Predicate(s) which "can be any Boolean expressi
2.
▲
by
haetze
6y ago
Doesn't Ada have a sort of arbitrary computation on assignment? I think I remember that there are rules when predicates on types are checked. (Depending on the Assertion_Policy of course) I'm not sure how that works on assignment