f---ing typechecking

[Paul Rubin]

Donn Cave <donn at u.washington.edu> writes:
> What this proves is that you can implement
> an argument list at run time, but it by no means changes the
> nature of the argument list as a sequence.

Right, it's treated as a sequence rather than a record structure.
So is that consistent with the "tuples are record structures" view,
as opposed to the "tuples are immutable lists" view?