orzo 2017-01-29 17:56:28
if i use 'length' and 'reverse' together, will the compiler figure out to do that in one loop?
Axman6 2017-01-29 18:12:46
no
Axman6 2017-01-29 18:13:13
there are implementations of reverse which may allow that but the standard foldl does not
Axman6 2017-01-29 18:14:45
it could be added as a RULE, but that might break other things
