You should be able to use any of the regexp libraries for Standard ML,
for instance:
http://www.smlnj.org/doc/smlnj-lib/index.html
http://www.smlnj.org/doc/smlnj-lib/Manual/regexp-lib-part.html
which is at:
http://smlnj.cs.uchicago.edu/dist/working/110.69/smlnj-lib.tgz
should work, modulo the build system, on PolyML also.
best,
lucas
Lu Zhao wrote:
Hi,
Does PolyML support regular expression matching? I looked through the
source code tree $PolyML/basis and didn't find something like Reg*. I'd
like to confirm that this is true.
Thanks.
Lu
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
