This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: RFC: attribute "unpadded"

From: Fergus Henderson <fjh at cs dot mu dot oz dot au>
To: Zack Weinberg <zack at codesourcery dot com>
Cc: Mark Mitchell <mark at codesourcery dot com>,Andrew Haley <aph at cambridge dot redhat dot com>,"gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
Date: Mon, 26 Aug 2002 12:03:38 +1000
Subject: Re: RFC: attribute "unpadded"
References: <15718.36718.368014.869038@cuddles.cambridge.redhat.com> <3636743819.1030133927@[192.168.0.103]> <20020823225740.GD1074@codesourcery.com>

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.

Follow-Ups:
- Re: RFC: attribute "unpadded"
  - From: Zack Weinberg

References:
- Re: RFC: attribute "unpadded"
  - From: Andrew Haley
- Re: RFC: attribute "unpadded"
  - From: Mark Mitchell
- Re: RFC: attribute "unpadded"
  - From: Zack Weinberg

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]