[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Dec 2 14:59:19 1995 
Subject:Re: Pop-11 Pattern variables: the ANSWER?? 
From:Steve Knight 
Volume-ID:951202.02 

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