On Thu, May 31, 2012 at 12:51 PM, Mark S. Miller <erig...@google.com> wrote: > We do not complain that a safe program might need to be revised before a > type checker can vouch that it is safe.
As the author of a type checker, let me assure you that while you might not complain, your users certainly will. -- sam th sa...@ccs.neu.edu _______________________________________________ es-discuss mailing list es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss