A fairer comparison would be Haskell code plus a complete suite of tests.
No suite of tests is complete enough to replace a proof. Unless the domain is finite and the tests exhaust all values in it.
Out of curiosity, are there any studies that compare error rates among languages? How much is gained by going from say, Java to Haskell, or from Haskell to Coq?