diff options
Diffstat (limited to 'changes/pure_removal')
| -rw-r--r-- | changes/pure_removal | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/changes/pure_removal b/changes/pure_removal new file mode 100644 index 0000000000..4a3343ccfd --- /dev/null +++ b/changes/pure_removal @@ -0,0 +1,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. + |