Patrick R. Michaud wrote:
On Fri, Sep 12, 2008 at 04:41:38PM -0700, [EMAIL PROTECTED] wrote:
[rakudo] Constraints in a signature should actually be represented
as an all Junction, not an array.
You may have thought of this already, but it'd be worthwhile to
consider how we might handle infix:<where> (added to the Synopses
this past week). The infix:<where> operator creates an "ordered
Junction".
At the moment I suspect our junctions currently have those semantics
anyway, because we're not doing anything smarter that going through the
list in the order we were given it and doing the tests. So it's probably
going to be a case of, when we do smart stuff later that parallelizes
the tests, make sure we don't apply it to this type of junction. In
Rakudo today, and for the time being, I expect & and where will be
synonymous, unless I'm misunderstanding the spec.
Interesting question for p6l, if you don't know it already, is if this
"where" actually has anything to do with the "where" on a parameter
acting as a type constraint, and if we are meant to construct that kind
of junction for those.
Jonathan
