Merge remote-tracking branch 'sebastian/pure_removal'

2024-12-06 19:41:15 +01:00 · 2011-11-25 14:54:04 -05:00
parent 25c9e3aab9 75d8ad7320
commit cb8059b42d
6 changed files with 47 additions and 52 deletions
@@ -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.
+