On Tue, Jun 14, 2016 at 12:51 PM, Adam Chlipala <adamc at csail.mit.edu> wrote: > Can anyone help figure out what is bothering recent C compilers about part > of the Ur/Web runtime-system code? I’ve commented on the bug: https://github.com/urweb/urweb/issues/31#issuecomment-226007244