extended foreign decls

[Simon Peyton-Jones]

| For ("preferred" language, foreign language) pair, you define an
| "extrusion".  This defines how to generate the appropriate code to 
| interface with one foreign language in another.  

All sounds very ingenious.  Much of it, though, is quite Mercury
independent.
As you say, it's a way of making the Mercury compiler think it's only
talking to C.

Obvious question: do you plan to package your solution as a reusable
tool, so that others can profit from its ingenuity?

Simon