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] |
>>>>> "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. Tom
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |