Tests for Haddock reader