I regularly forget to add T, and simply write (FORMAT "FOO ~A" ...).
Notice that a string is valid as first argument to FORMAT, that's the reason why this isn't complained about by type inference.
Still a string literal may not be modified, so SBCL has all right to signal a full warning in this case.
I regularly forget to add T, and simply write (FORMAT "FOO ~A" ...).
Notice that a string is valid as first argument to FORMAT, that's the
reason why this isn't complained about by type inference.
Still a string literal may not be modified, so SBCL has all right to
signal a full warning in this case.