Re: Get all w ords between two markers in a string
| Newsgroups | gmane.comp.lang.ocaml.beginners |
|---|---|
| Message-ID | <[email protected]> |
Thanks for your belated reply! I indeed used a heavy-machinery "real parser" as you say to solve the problem, but your hack is certainly worth remembering.