1.1 --- a/README.txt Wed Mar 19 20:57:38 2008 +0100
1.2 +++ b/README.txt Thu Mar 20 01:13:48 2008 +0100
1.3 @@ -269,6 +269,19 @@
1.4 argument, in order to optimise instance attribute access in methods, we should
1.5 seek to restrict the object type.
1.6
1.7 +Verifying Supplied Arguments
1.8 +----------------------------
1.9 +
1.10 +In order to ensure a correct invocation, it is also necessary to check the
1.11 +number of supplied arguments. If the target of the invocation is known at
1.12 +compile-time, no additional instructions need to be emitted; otherwise, the
1.13 +generated code must test for the following situations:
1.14 +
1.15 + 1. That the number of supplied arguments is equal to the number of expected
1.16 + parameters.
1.17 +
1.18 + 2. That no keyword argument overwrites an existing positional parameter.
1.19 +
1.20 Tuples, Frames and Allocation
1.21 -----------------------------
1.22