Klaas-Jan Stol wrote:
looks good as far as I can tell. W.r.t. the selection part, the "don't care" type is
missing, which is "_" IIRC.
My guess is that if you can specify which parameters are invocants, with
:invocant, then the need for an "any" type goes away, since you just
don't mark them as invocants. And the list only applies to those things
that are invocants. So:
.sub blah :multi('foo', 'bar')
.param pmc foo :invocant
.param pmc i_so_aint_an_invocant
.param pmc bar :invocant
# ...
.end
Jonathan
