[m-dev.] question

[Fergus Henderson]

On 16-Jul-1998, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> Fergus Henderson wrote:
> 
> 
> > but this doesn't handle higher-order types properly, doesn't print the
> > argument types, etc., so it may be easier to just export type_name/1 to C.
> 
> Like this ?
> 
> :- pragma export(type_name(in) = out, "ML_type_name").
> 
> (+ "	MR_type_name = ML_type_name;\n" in mkinit.c)

Yes.

> Should I put that in std_util.m ?

That seems like the obvious place, so yes.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.