[m-dev.] for review: fix tests/debugger/implied_instance

[Fergus Henderson]

On 26-Apr-1999, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> Fix a problem where type specialization resulted in type_info variables
> in the generated code without a `TypeInfo_For...' prefix. This avoids
> a segfault in the debugger when the simple name check on the variable
> doesn't identify it as a type_info.

Hmm...

The mismatch between the declaration of the type `private_builtin:type_info/1'
and its usage was, I will cheerfully admit, a bit of a kludge.
The fact that the debugger doesn't handle type_info variables
was a bit of a problem, and so we added the name check in the
debugger as a quick and simple hack to work around that problem.
Your change is another hack to work around the same problem.
I guess that technically speaking that makes it a "hack on top
of a hack on top of a kludge" ;-)

Did you consider a more direct attack on the problem?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------