[Checkers] Fwd: daikon compile failure

Matt Papi mpapi at csail.mit.edu
Wed Apr 23 14:26:45 EDT 2008


>  but the definition of Interned contains all sorts of other annotations that
>  want to bring in the entire Checkers Framework.

Everything else should be in checkers.metaquals.

>  What is the recommended way to obtain backward compatibility for
>  compilation by non-JSR-308 compilers?

Until the commented-imports feature is done, copying over both
checkers.quals and checkers.metaquals should work.

However, I don't know about the RELEASE_7 error -- InternedChecker has
had that since it was written, so I can't think of why you'd be
getting that error now if you haven't been getting that all along.

- Matt



More information about the checkers mailing list