Next: , Up: Interfacing with Erlang   [Contents]


14.10.4.1 Using pragma foreign_type for Erlang

An Erlang ‘pragma foreign_type’ declaration has the form:

:- pragma foreign_type("Erlang", MercuryTypeName, "").

The effect of this declaration is that Mercury values of type MercuryTypeName will be passed to and from Erlang foreign_procs as having some representation unknown to Mercury.