Moritz Lenz wrote:
our multi method polar (Complex $nim: --> [ Real $mag where 0..Inf,
Real $angle where -π ..^ π ]) is export { ... }
If you put this into a signature, it is checked on every call to that
method and thus slows down execution. If you want a formalization that's
not part of the signature, you find that in the test suite.
That feels unfortunate, to me. Could we not have a pragma/trait that
says "for this scope, assume all my post-conditions are true" (also
affects POST phasers) that has a command-line (or env-var, whatever)
override for debugging? For things in Setting.pm it really should be
safe to set such a flag for general use.