Repeat Through a Rulebook

version 4 by Ron Newcomb

  • Home page
  • Beginning
  • Previous
  • Next

  • Section - Reasons

    A rule-reason is a kind of value. The rule-reasons are directly invoked, moved before, moved after, ignored, and substituted.

    The reason the rule ran is a rule-reason that varies. [translates as (- Global Rule_reason; -).]

    [ this is only so I6 can print it ]
    Include (-
    [ PrintRuleReason R;
        switch (R) {
        (+moved before+): print "moved before";
        (+moved after+): print "moved after";
        (+ignored+): print "ignored";
        (+substituted+): print "substituted";
        default: print "directly invoked";