RFC: attribute "unpadded"

[Zack Weinberg]

On Mon, Aug 26, 2002 at 12:03:38PM +1000, Fergus Henderson wrote:
> 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 *'.

I guessed as much, but I meant something different: could we implement
a type inference engine as a language-independent component, using
only the information stored in the existing language-independent type
system?  If not, what's missing?

zw