K-user mailing list

[Mike Stay <stay AT pyrofex.net>]

It looks like I need an [anywhere] annotation on the SKI rules.  I
also found that <k> tags can have multiplicity *, so here's a working
version of what I intended.

module SKIC-SYNTAX
  syntax Par ::= "|"
  syntax SComb ::= "s"
  syntax KComb ::= "k"
  syntax IComb ::= "i"
  syntax Comb ::= Par | SComb | KComb | IComb
  syntax Apply ::= "(" Term Term ")"
  syntax Term ::= Id | Comb | Apply
endmodule

module SKIC
  imports SKIC-SYNTAX

  configuration
    <T>
      <k multiplicity="*"> $PGM:Term </k>
    </T>

  rule (i X:Term) => X [anywhere]
  rule ((k X:Term) Y:Term) => X [anywhere]
  rule (((s X:Term) Y:Term) Z:Term) => ((X Z) (Y Z)) [anywhere]

  rule <k> ((| T:Term) U:Term) </k> => <k> T </k> <k> U </k>

endmodule
-- 
Mike Stay
CTO, Pyrofex Corp.