union-side-effects

View source
union-side-effects
Author Commit Message Date Builds
250+ commits behind default.
Ronan Lamy
Use more general strategy in 2 tests
Ronan Lamy
Revert change to run_formatter() and fix unicode vs str issues.
Ronan Lamy
Fix str vs unicode correctness issues
Ronan Lamy
Explicitly forbid comparisons between str and unicode
Ronan Lamy
hg merge default
Ronan Lamy
Add test for constants
Ronan Lamy
Disallow unions of char and unichar, since they make the annotator inconsistent
Ronan Lamy
Expand hypothesis testing of union() until it fails
Ronan Lamy
Fix union() and give a correct explanation for the s1==s2 case
Ronan Lamy
Add an elementary (but failing) hypothesis test for union()
Ronan Lamy
Use union() instead of unionof() in a few places
Ronan Lamy
Create union() as a side-effect-free binary function to replace unionof() wherever possible