[Ur] Combinator Parsing in Ur: Anonymous function remains at code generation

[Adam Chlipala]

I'm traveling now and don't have much time to look into details, but it 
is /expected/ that Ur/Web programs that are moderately higher-order (on 
the server side) will often fail to compile.  It may not be possible to 
use parser combinators on the server side, though it should be fine in 
client code.  I'll hope to look at your test case next week.

On 07/17/2014 10:19 PM, orchidaceae phalaenopsis wrote:
> Hi! We're trying to implement Parsec in Ur/Web (following
> http://research.microsoft.com/en-us/um/people/daan/download/papers/parsec-paper.pdf
> ). When trying to use our implementation we got "Anonymous function
> remains at code generation".
>    
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20140718/ca25759e/attachment.html>