Allison Randal wrote:
.param pmc a :invocant(['Foo'; 'Bar'])
And this has me wondering, for languages that do strict type-checking, will they want to be able to specify the types of non-invocant parameters? So, maybe that should be:
.param pmc a :type(['Foo'; 'Bar']) :invocant To allow for: .param pmc b :type(['Foo'; 'Baz'])It's just syntax for attaching metainformation to the sub signature, so not critical.
Allison
