Hello!
There’s a new warning available, ‘-Warity-mismatch’, which warns about
wrong arguments counts, etc. It currently lacks support for keyword
arguments, which is why it’s not ready yet to compile Guile itself (it
produces erroneous warnings for procedures with keyword arguments.)
I think some of these warnings should really be errors, when there’s
undoubtedly a wrong number of arguments, as in:
(let ((f (lambda (x) x)))
(f 1 2 3))
What do you think?
Actually, the tree-il->glil pass surely does a significant part of what
‘arity-mismatch-analysis’ does, and I wonder whether/how this could be
factorized. For example, tree-il->glil must already diagnose the
problem in the example above. Andy?
Thanks,
Ludo’.
