Re:Vigil: The eternal morally vigilant programming language
by Jtsummers on Wednesday November 11, 2020 @10:49AM
(#25059312)
If you read the links you’d see that “revert” is a reset so that uncommitted changes are reverted or deleted. Just lie what this language does to functions that break their oaths.
That doesn’t make sense though. You wouldn’t need to revert if the test failed because it wouldn’t have committed...