Closed Sainan closed 3 months ago
The compile-time concat optimization reinforced a lesson: these types of 'optimizations' have more to lose than gain and aren't worthwhile.
I agree that this optimisation would be close-to-useless, although the compile-time concat definitely had a bit more reason for exisitng, and there's no reason for us to not re-add it at some point in the future, if we can do so without bugs.
Closing this because I can't think of a trivial way to implement this that would be provably bug-free.
This is a very minor thing, but when the user writes
!!x
(ornot not x
), currently, the generated code is just trivially doing the not operation twice, but it might be possible to generate more optimal code for this.