String and Char

[evancz]

This is a meta issue. If you have something that seems related, open a new issue and we'll do the appropriate bookkeeping!

It looks like we inherit some weird unicode things from JS, so special precautions may be necessary. Here are cases that folks have pointed out so far:

• #625 - String.reverse acts weird with certain characters.
• #387 - Char.fromCode and String.toList act weird with certain characters.
• #626 - String.length works like JavaScript

[evancz]

I fixed String.reverse, Char.fromCode, and String.toList to work with the JS representation of strings.

I decided that defaulting to the always-correct version for String.length would be too costly, and you can use betterLength xs = String.foldl (\_ n -> n + 1) 0 xs if you are willing to pay extra for that data.

[evancz]

I fixed String.reverse, Char.fromCode, and String.toList to work with the JS representation of strings.

I decided that defaulting to the always-correct version for String.length would be too costly, and you can use betterLength xs = String.foldl (\_ n -> n + 1) 0 xs if you are willing to pay extra for that data.