ParseOk (Module (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 1}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 1}]}) Nothing [] [] [TypeSig (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 23}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 11, srcSpanEndLine = 1, srcSpanEndColumn = 13}]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 10}, srcInfoPoints = []}) "happyThen"] (TyForall (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 14, srcSpanEndLine = 1, srcSpanEndColumn = 23}, srcInfoPoints = []}) Nothing (Just (CxEmpty (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 14, srcSpanEndLine = 1, srcSpanEndColumn = 19}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 14, srcSpanEndLine = 1, srcSpanEndColumn = 15},SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 15, srcSpanEndLine = 1, srcSpanEndColumn = 16},SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 17, srcSpanEndLine = 1, srcSpanEndColumn = 19}]}))) (TyApp (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 20, srcSpanEndLine = 1, srcSpanEndColumn = 23}, srcInfoPoints = []}) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 20, srcSpanEndLine = 1, srcSpanEndColumn = 21}, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 20, srcSpanEndLine = 1, srcSpanEndColumn = 21}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 20, srcSpanEndLine = 1, srcSpanEndColumn = 21}, srcInfoPoints = []}) "P"))) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 22, srcSpanEndLine = 1, srcSpanEndColumn = 23}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyContext.hs", srcSpanStartLine = 1, srcSpanStartColumn = 22, srcSpanEndLine = 1, srcSpanEndColumn = 23}, srcInfoPoints = []}) "a"))))],[])