>>>>> "Le-Chun" == Le-Chun Wu <[EMAIL PROTECTED]> writes:
Le-Chun> Here is the design doc for the proposed annotations: Le-Chun> http://docs.google.com/Doc?id=ddqtfwhb_0c49t6zgr I am curious to know how this compares to the kind of lock checking implemented in sparse, and in particular whether sparse annotations could easily be translated to this style. Tom
