You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4543 Reporter:@mjambon Assigned to: ertai Status: closed (set by @xavierleroy on 2010-04-29T12:31:15Z) Resolution: fixed Priority: normal Severity: feature Fixed in version: 3.11+dev Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Bug description
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:
Original bug ID: 4543
Reporter: @mjambon
Assigned to: ertai
Status: closed (set by @xavierleroy on 2010-04-29T12:31:15Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.11+dev
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Bug description
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:
http://caml.inria.fr/pub/ml-archives/caml-list/2008/04/80773c9b3c6420d066c98f1a9a27f70e.en.html
So I'm sending a little patch with some sample code for testing.
It's quite simple and I hope I haven't overlooked any big issue.
File attachments
The text was updated successfully, but these errors were encountered: