Christophe Raffalli
Christophe Raffalli
Hello again, Please find attached the code porting the example of bindlib to the hascons library. It uses recursive module and is a bit subtil. Especially to initialise the tbl...
I see an avantage of the ad-hoc constructor other than speed: it is used only when computing hash and you will detect a bug easily if it leaks. May be...
Hello David, Let me first explain a few things to make sure we understand each other. Also some of this view are a bit personnal and I think Rodolphe might...
David Chemouil ***@***.***> writes: > I think I get your point about additional constructors and environments, now, thanks. > > I attached the adapted example with extensible variants. > >...
mlemerre ***@***.***> writes: > Hi, > > I just ported a whole parser using pacomb and it is very nice. Thanks! I will profit of your remarks and this discussion...
Hello > Thanks for your answer! I think my previous question was not very clear. If I only have one ambiguous recursive rule, the documentation makes it clear how to...
mlemerre ***@***.***> writes: > (By the way, the link in the github readme to the full documentation is broken) Thanks, I fixed it. > — > Reply to this email...
Hello Yes the semantics of give_up is to reject parse trees. If you do it in merge it is a bit strange. A nice solution would be using effect from...
mlemerre ***@***.***> writes: > It seems that raising Give_up in the merge function discards one of the parsetrees. I wonder if this is expected behaviour > it seems hard to...
Thanks for your last comment ;-)