[Checkers] ClassReader

[Mahmood Ali]

Hi Telmo,

I am leaning towards 'yes'.  Since no-one has witnessed the problem  
you are describing, I think it's safe to hold on the fix till the  
following release (hopefully next week).  Hopefully, we will have all  
code review comments addressed by then too.

- Mahmood

On Jun 5, 2008, at 9:37 PM, Telmo wrote:

> I am still not sure on how to fix the bugs that the changes to  
> AnnotatedTypeFactory and TypeFromTree introduced. Should I revert  
> them (and JavariAnnotatedFactory) before the release?
>
> -Telmo
>
>
> On Thu, 5 Jun 2008, Mahmood Ali wrote:
>
>> Hi Matt,
>>
>> Do you think that you will have a chance to check-in your ClassReader
>> code today.  I will work on making the release once you check-in your
>> code.
>>
>> - Mahmood
>>
>>
>> _______________________________________________
>> checkers mailing list
>> checkers at lists.csail.mit.edu
>> https://lists.csail.mit.edu/mailman/listinfo/checkers
>>