Here is an example of Ur/Web code which leads to generation of a webapp.c which does not compile ... maybe it is an urweb compiler bug? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.impredicative.com/pipermail/ur/attachments/20110105/4cded923/attachment.htm>