blob: 4a3343ccfdc5743f96579b8c368b7b97790f10e8 (
plain)
1
2
3
4
5
6
7
|
o Code simplifications and refactorings:
- Remove the pure attribute from all functions that used it previously.
In many cases this we assigned it incorrectly, because the functions
might assert or call impure functions, and we don't have evidence
that keeping the pure attribute is worthwhile. Implements changes
suggested in ticket 4421.
|