Commit 0ab8c8621712d33e1e91dfdb4ad0b335e3d2a3fb

Behdad Esfahbod 2012-05-11T01:25:34

Annotate SANITIZE return values More to come, for APPLY, CLOSURE, etc.