Alex Ferguson <[EMAIL PROTECTED]> writes:
>
...
>
> > Here's our convention for splitting up the interface file
> name space:
> >
> > d...dictionary identifiers
> > (local variables, so no name-clash worries)
>
> Hrm. So, whence the trailing 0's? They
Hi Simon, thanks for the tips;
> We havn't checked out the profiler, remember.
I'm using 3.02, I should have mentioned. (For this very reason.)
> Here's our convention for splitting up the interface file name space:
>
> d...dictionary identifiers
> (l
The encoding is done (only) in basicTypes/OccName.lhs. The
comments are below... but they could always be inaccurate.
Trust only the code. (On this occasion, I think the comment
is correct, though.)
Before things appear in .hc or .o files, and in -ddump traces,
they are 'z-encoded'. So '$' ap