ParseOk (Module (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 3, srcSpanEndColumn = 1}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 3, srcSpanStartColumn = 1, srcSpanEndLine = 3, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 3, srcSpanStartColumn = 1, srcSpanEndLine = 3, srcSpanEndColumn = 1}]}) Nothing [] [ImportDecl {importAnn = SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 23}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 7}]}, importModule = ModuleName (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 1, srcSpanStartColumn = 8, srcSpanEndLine = 1, srcSpanEndColumn = 23}, srcInfoPoints = []}) "Test.QuickCheck", importQualified = False, importSrc = False, importPkg = Nothing, importAs = Nothing, importSpecs = Nothing}] [],[Comment False (SrcSpan {srcSpanFilename = "tests/examples/Bug.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 39}) " prop_susShortest = 2 > 1 ==> 1 /= 2"])