[Checkers] Interned checker throws ClassCastException

Mahmood Ali mahmood at MIT.EDU
Sat Mar 1 02:44:22 EST 2008

> I was just able to compile free pastry and daikon using the Interned  
> and IGJ framework.
P.S. By compile I mean, successfully finish compiling without any  
exceptions, but not necessary typecheck.

More information about the checkers mailing list