On 5/31/16 4:38 PM, Timon Gehr wrote:What about e.g. joiner?Compiler error. Better than what it does now.
I believe everything that does only concatenation will work correctly. That's why joiner() is one of those algorithms that should accept strings directly without going through any decoding (but it may need to recode the joining element itself, of course).
