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

Peter Schachte pets at cs.mu.OZ.AU
Fri Dec 4 12:23:36 AEDT 1998

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

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 | 

More information about the developers mailing list