[CM] Generalized rewrite pattern

Torsten Anders t.anders@qub.ac.uk
12 Feb 2003 19:13:11 +0000

Hi Rick,

On Wed, 2003-02-12 at 18:32, Rick Taube wrote:
> Hi torsten, i havent had time to play with the code yet -- is it doing 
> somethig that the context free rules with the current rewrite pattern 
> can't do?
> ill look at the funcall problem tonight, ive got several other pattern 
> things to fix...

The CM rewrite pattern is a rather rich device. My little contribution
generalizes the main idea of it: in CM rewrite, new periods can be
stated in a clause-wise manner. But items much match each other (e.g. as
in case).

In my attempt, arbitrary calls can be performed instead (e.g. in a cond
clause structure I test (> item x) -- rewrite only performs (equal item


Torsten Anders <t.anders@qub.ac.uk>