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

[Adam Chlipala]

On 07/26/2014 09:57 AM, orchidaceae phalaenopsis wrote:
>> I don't currently see any obstacle to using standard parser combinators with Ur/Web
>>      
> This would be really nice because my DCG tool, while functional, is
> very ugly and has a lot of overhead. I'm not really sure how to
> proceed with standard parser combinators but it would be nice to make
> it work!
>    

It should all just work now!  If you think returning functions from 
functions is really essential, then I'd love to see an example 
demonstrating why.