Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Patch implementing toplevel phrase filters #4543
Original bug ID: 4543
The idea is to provide the possibility of using filters in the toplevel. This feature is crucial for a clean port of micmatch to 3.10. It works by adding a new class of filters: toplevel phrase filters.
The issue of filtering str_items in the toplevel was raised in this caml-list thread:
So I'm sending a little patch with some sample code for testing.
Comment author: ertai
Thanks for the patch and your patience, it's now applied in the CVS (head and release311).
Moreover you've nicely and simply solved this issue by adding a new registration function. This way the user can choose the semantics.