hao deng wrote: > On Sat, Aug 6, 2011 at 5:28 AM, Adam Chlipala<adamc at impredicative.com> wrote: > >> Or I could change the compiler at some point. :) > How long will that take? can we enter a ticket for that? > Sure, feel free to add a ticket. It would probably take a few hours.