-
Simon Marlow authored
Instead of chr_$wchr, we now just get $wchr. In general, when an OccName is system-generated, we leave it out of the final external name, preferring to use the name of the exported parent instead (which is necessarily a user-written name). Names should be no less deterministic, but should be shorter and more readable.
4fa65a12