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 polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml