[("tests/examples/Pragma7.hs:1:1-40: Warning: Use LANGUAGE pragmas\nFound:\n {-# OPTIONS_GHC -XGADTs -main-is Baz #-}\nPerhaps:\n {-# LANGUAGE GADTs #-}\n {-# OPTIONS_GHC -main-is Baz #-}\n",[ModifyComment {pos = SrcSpan {startLine = 1, startCol = 1, endLine = 1, endCol = 41}, newComment = "{-# LANGUAGE GADTs #-}\n{-# OPTIONS_GHC -main-is Baz #-}"}])]