search

aantron / markup.ml

Error-recovering streaming HTML5 and XML parsers
http://aantron.github.io/markup.ml
MIT License
146 stars 16 forks source link

Include element name in the `End_element signal #38

Closed aantron closed 5 years ago

aantron commented 6 years ago

This makes some processing algorithms easier to write, as it is not necessary to track what the `Start_element tag was. This would be a breaking change.