There’s a trivial “yes” answer here, one can compile
Dpointer is a kind of value. The dpointers are d1, d2, d3, d4.
Exampling is a (list of dpointers) based rulebook producing a text.
But I haven’t found a way to qualify rules for it that I7 will accept.
Exampling { d1, d2, d3 }: rule succeeds with result "!".
gets
>--> In 'Exampling {d1, d2, d3}' [...] you use a list which might or might not
match a definition requiring a list of dpointers. But there's no efficient
way to tell during play whether the list actually contains that, without
laboriously checking every entry. Because in general this would be a bad
idea, this usage is not allowed.
And
Exampling a (list of dpointers) called L when the number of entries in L is 1:
rule succeeds with result ".".
gets
>--> You wrote 'Exampling a (list of dpointers) called L when the number of
entries in L is 1' [...] but the description of the thing(s) to
which the rule applies ('a (list of dpointers) called L') did not make
sense. This is a list of dpointers based rulebook, so that should have
described a list of dpointers.
The definition dodge didn’t work either.
Definition: a list of dpointers (called L) is one-count-ish if the number of entries in L is 1.
Exampling a one-count-ish list of dpointers:
rule succeeds with result "!".
gets the same no efficient way to tell during play whether the list actually contains that
as the first.
(Same results without the parens around list of dpointers
; I added them to rule that out.)
One can do this:
Bogus is a kind of object. Bogus has a list of numbers called bogus list.
Example2ing is a bogus based rulebook producing a text.
Example2ing a bogus (called B) when the number of entries in the bogus list of B is 1 (this is the gnarly rule):
rule succeeds with result "-".
Example2ing a bogus (called B) when the number of entries in the bogus list of B >= 5 and entry 1 in the bogus list of B is 3 and entry 5 in the bogus list of B is 7:
rule succeeds with result "you sunk my battleship".
… but is there a way I’m missing to specify rules for a directly list-based rulebook in a way that I7 will accept?