TSa wrote:
Jonathan Lang wrote:
> If you're not using "multi", then the signature is superfluous for
> type-checking purposes.
I think that signatures do matter for type-checking! It is
an error to provide too few or to many positional args or
args with an incompatible type.
Mea culpa. I thou
HaloO,
TSa wrote:
When names have to be available as well, then we get an undefined
method that has to have two positionals and two named parameters such
that all four names appear to satisfy all conceivable call sites for
the two roles.
To get four names for two positional Parameters an 'is a
HaloO,
Jonathan Lang wrote:
If you're not using "multi", then the signature is superfluous for
type-checking purposes.
I think that signatures do matter for type-checking! It is
an error to provide too few or to many positional args or
args with an incompatible type.
Regards, TSa.
--
