RFC: attribute "unpadded"

[Fergus Henderson]

On 23-Aug-2002, Zack Weinberg <zack@codesourcery.com> 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 <fjh@cs.mu.oz.au>  |  "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.