Author: lwall
Date: 2009-03-19 19:28:28 +0100 (Thu, 19 Mar 2009)
New Revision: 25909
Modified:
docs/Perl6/Spec/S12-objects.pod
Log:
clarify container constraint meaning of sigil as requested by jnthn++
Modified: docs/Perl6/Spec/S12-objects.pod
===================================================================
--- docs/Perl6/Spec/S12-objects.pod 2009-03-19 18:13:13 UTC (rev 25908)
+++ docs/Perl6/Spec/S12-objects.pod 2009-03-19 18:28:28 UTC (rev 25909)
@@ -1346,7 +1346,11 @@
Bar Foo @x
The constraint implied by the sigil also counts as part of the official type.
+The sigil is actually a constraint on the container, so the actual
+type of the parameter above is something like:
+ Positional[role { does Foo; does Bar; }]
+
Static C<where> clauses also count as part of the official type.
A C<where> clause is considered static if it can be applied to
the types to the left of it at compile time to produce a known finite set
