This is the mail archive of the
mailing list for the GCC project.
Re: RFC: attribute "unpadded"
On 23-Aug-2002, Zack Weinberg <firstname.lastname@example.org> wrote:
> (Idle thought: Is our language-independent type system powerful enough
> that we could implement ML type inference with it? I suspect not.)
The Mercury front-end supports type inference in a manner very similar
to ML, and maps this to GCC's C-like type system. The mapping is pretty
straight-forward, actually: polymorphically typed variables are given
the GCC type represented by `ptr_type_node', i.e. `void *'.
Fergus Henderson <email@example.com> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.