Comment 2 for bug 719585

Revision history for this message
Nikodemus Siivola (nikodemus) wrote :

Spec says they're wrong, though.

  (declare (ignorable ...))

is the way to fix these.