Be a bit more sensible about choosing external OccNames
authorSimon Marlow <marlowsd@gmail.com>
Tue, 28 Jul 2009 10:04:34 +0000 (10:04 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 28 Jul 2009 10:04:34 +0000 (10:04 +0000)
commit4fa65a12c1e4c4bcfd92ff30440a9e75d298e0b7
treebf31328ac3362bbc6ecb476ac74d6a50202b99d5
parent1fede4bc9501744bf2269ce2a4cb9fb735969caa
Be a bit more sensible about choosing external OccNames

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.
compiler/main/TidyPgm.lhs