HaloO,
Jonathan Lang wrote:
2) We have A&B and the A B juxtaposition to mean $_ ~~ A && $_ ~~ B
which is an intersection (sub)type of A and B.
Not according to my reading of S06: if you want to force a parameter
to match both of two different roles, you must use a where clause.
In sectio
HaloO,
I wrote:
2) We have A&B and the A B juxtaposition to mean $_ ~~ A && $_ ~~ B
which is an intersection (sub)type of A and B.
Is the A&B form a legal alternative for the juxtaposition?
--
HaloO,
I figure that
http://svn.openfoundry.org/pugs/docs/notes/multi_method_dispatch/mmd-draft.txt
hasn't made it into S06 yet. So what is the current state of affairs?
Could someone explain me the voting mechanism mentioned in the
document? I get that it works from left to right and compares
t
