Admin message

Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template

JavaScript: toJSString doesn't support code points greater than 2^16
Due to the use of JavaScript's `String.fromCharCode` in `rts/js/string.js:h$fromHsString`, the conversion of large unicode code points is getting silently truncated to the lower 16 bits of the value (see https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String/fromCharCode). The correct function here is `String.fromCodePoint` (https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String/fromCodePoint), which performs the conversion to UTF-16.
issue