Am Mo., 6. Juli 2020 um 00:51 Uhr schrieb John Cowan <xxxxxx@ccil.org>:

>> PS Whether such an interface helps for pattern matching is another
>> matter. If procedural, it cannot be a simple interface based on
>> symbols but will have to be tied to the low-level representations of
>> identifiers and will only work with procedural macros. '
>
>
> Not if we require that the indices 0, ... n-1 correspond to the n fields of a record type in order.

It depends on what the pattern matcher wants. If it wants to refer to
the field names in the pattern language, we will need a syntactic
record inspection facility as well.