1.1 --- a/docs/invocation.txt Sun Aug 17 20:46:49 2008 +0200
1.2 +++ b/docs/invocation.txt Mon Aug 18 01:40:18 2008 +0200
1.3 @@ -143,3 +143,13 @@
1.4 f(obj, 1, 2) # no restrictions on obj
1.5 obj.m(1, 2) # f(obj, 1, 2)
1.6 C.m(obj, 1, 2) # f(obj "assert isinstance(obj, C)", 1, 2)
1.7 +
1.8 +Context propagation:
1.9 +
1.10 + fn = C.m # has context C
1.11 + fn(obj, 1, 2) # non-instance context -> explicit context required
1.12 + # must perform isinstance(obj, C)
1.13 + fn = c.m # table entry for m on C -> replace context
1.14 + # gives context c
1.15 + fn(1, 2) # instance context -> no explicit context required
1.16 + # context c inserted in call