This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: RFC: attribute "unpadded"
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