[m-dev.] C++ interface

[Roberto Bagnara]

Hi there,

I thought the message I sent to mercury-developers on March 9 was left
unanswered, but I was wrong: simply the answers were sent to the list only.
So, please accept my apologies for this long delay.

Yes, I am interested in directly interfacing a C++ library with Mercury,
and I am willing to work with an experimental version as long as I can
be reasonably confident that the experimental features I am using will be
available in, say, the next Mercury release.
If you could direct me to the sources/patches I should use, I am willing
to start working as soon as possible.
All the best

      Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it

Tyson Dowd wrote:
On 10-Mar-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
 > On 09-Mar-2002, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
 > >
 > > since I am surveying the foreign language interfaces available
 > > in logic programming languages (especially Prolog) I thought
 > > it might be the right time to write a Mercury interface
 > > for the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/).
 > > I would like to do the job with the most up-to-date version
 > > of the C/C++ interface and I don't mind working with alfa or beta
 > > releases. Which version of Mercury would you recommend?
 >
 > Well, if you really want to use the most up-to-date version of
 > the C/C++ interface, I would recommend using the latest "unstable"
 > release-of-the-day which is available on our download site.

If you wish, I have a patch that adds direct support for C++
(it goes via C as you might normally do by hand, but the C->C++ bridge code
is generated automatically). This is nearly ready for general use, but
I haven't yet posted the patch for review.

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