[Checkers] checkers v0.8.4 and annotations on type parameters
Niko Matsakis
niko at alum.mit.edu
Fri Jan 16 10:12:09 EST 2009
Well, the project is available here:
> https://svn.id.ethz.ch/nmatsaki/part/jsr308/v0.8.4/
The specific line of code that yields null is on line 2665 of file:
> https://svn.id.ethz.ch/nmatsaki/part/jsr308/v0.8.4/checkers/eth-src/checkers/jpart/JPartIr.java
There is a specific unit-test which is failing, but the problem is
that getting it setup to run is a bit of a pain. Of course maybe you
will immediately see the problem based on the above source file.
Otherwise, I am creating a more isolated test harness.
Niko
On Jan 16, 2009, at 3:15 PM, Mahmood Ali wrote:
> Greetings,
>
>>> I have made the bug fixes for accessing type parameter annotations
>>> available at http://people.csail.mit.edu/mali/jsr308/ .
>> Unfortunately, I seem to have the same problems as before.
> I'm sorry about that. Can you share a bit more details please? Can
> you please share your code with me? Or a sample code exposing the
> bug?
>
> Regards,
> Mahmood
>
More information about the checkers
mailing list