This is the mail archive of the java-patches@gcc.gnu.org mailing list for the Java 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: [BC ABI] Type assertions

From: Andrew Haley <aph at redhat dot com>
To: Tom Tromey <tromey at redhat dot com>
Cc: Bryce McKinlay <mckinlay at redhat dot com>, java-patches at gcc dot gnu dot org
Date: Fri, 27 Aug 2004 22:05:10 +0100
Subject: Re: [BC ABI] Type assertions
References: <16687.37236.782256.518763@cuddles.cambridge.redhat.com><412F977D.5080902@redhat.com><87oekwjq24.fsf@fleche.redhat.com>

Tom Tromey writes:
 > >>>>> "Bryce" == Bryce McKinlay <mckinlay@redhat.com> writes:
 > 
 > Bryce> If it turns out we need other kinds of type assertions, the
 > Bryce> table could be in a form like:
 > 
 > Yeah.  Plus, the only assertions we need will be precisely the things
 > we change the verifier to lie about.

Right, but I'm allowing for version skew when we're distributing
precompiled binaries which are somewhat independent of the exact
runtime version.

Andrew.

References:
- [BC ABI] Type assertions
  - From: Andrew Haley
- Re: [BC ABI] Type assertions
  - From: Bryce McKinlay
- Re: [BC ABI] Type assertions
  - From: Tom Tromey

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