[("tests/examples/Extensions13.hs:1:1-32: Warning: Unused LANGUAGE pragma\nFound:\n  {-# LANGUAGE RecordWildCards #-}\nPerhaps you should remove it.\nNote: may require `{-# LANGUAGE DisambiguateRecordFields #-}` adding to the top of the file\n",[ModifyComment {pos = SrcSpan {startLine = 1, startCol = 1, endLine = 1, endCol = 33}, newComment = ""}])]