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

[Simon Taylor]

> 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?

Well, yes, the best way to fix this is to fix the debugger,
but this change is at least a little bit useful if I have
to do any more work on higher_order.m.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------