Continuing the discussion of the comparative merits of the
different matchers ...
I wrote:
> > Sadly, lib fmatches is not made redundant. Firstly, fmatches does not
> > suffer from the multiple segment matching defect of matches and that
> > alone makes it indispensible.
Aaron replied:
>
> I've reimplemented that in the new cleaner operator doesmatch, available
> in
> ftp://ftp.cs.bham.ac.uk/pub/ dist/poplog/auto/doesmatch.p
>
> which also works with ordinary pattern variables. (I can email it if
> anyone has trouble getting it via ftp. )
This is good news. Is it a candidate for replacing the current
matcher? I have always hated the multiple segment matching
defect because I knew I would always forget about it at some
inconvenient time. If it is better, let's use it.
Steve
|