Behavior of Addr# literals is not documented in the user manual
The GHC user manual includes this description of Addr#
literals:
> `"foo"#` has type `Addr#`
That's the extent of the documentation. It should be mentioned that text is encoded with Modified UTF-8. Also, I am not even sure what happens to a string like "hello\x00world"#
. Is it treated any differently than "hello\NULworld"#
. I haven't checked, but the manual should document what byte sequences these correspond to.