[m-dev.] Re: Calling an arbitrary predicate from mdb

[Peter Schachte]

On Thu, Dec 03, 1998 at 08:25:25PM +1100, Fergus Henderson wrote:
> Yes.  A Mercury interface to dlopen(), dlsym(), etc. should be reasonably
> straightforward, and could be very useful.

But how would one write a call to an unknown-at-compile-time
predicate?

Also, Ideally, one would like to use type classes to ensure that the
predicates called and the data structures they returned have the
appropriate interfaces.  What's needed is some kind of load-time
interface checking mechanism.  Any ideas for this?


-- 
Peter Schachte                | Mr. Spock succumbs to a powerful mating urge
mailto:pets at cs.mu.OZ.AU       | and nearly kills Captain Kirk. -- TV Guide,
http://www.cs.mu.oz.au/~pets/ | describing the Star Trek episode _Amok_Time_ 
PGP: finger pets at 128.250.37.3 |