ParseOk (Module (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 5, srcSpanEndColumn = 1}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 1, srcSpanEndLine = 4, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 5, srcSpanStartColumn = 1, srcSpanEndLine = 5, srcSpanEndColumn = 1},SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 5, srcSpanStartColumn = 1, srcSpanEndLine = 5, srcSpanEndColumn = 1}]}) (Just (ModuleHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 32}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 2, srcSpanStartColumn = 1, srcSpanEndLine = 2, srcSpanEndColumn = 7},SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 2, srcSpanStartColumn = 27, srcSpanEndLine = 2, srcSpanEndColumn = 32}]}) (ModuleName (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 2, srcSpanStartColumn = 8, srcSpanEndLine = 2, srcSpanEndColumn = 26}, srcInfoPoints = []}) "EmptyFunDepPremise") Nothing Nothing)) [LanguagePragma (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 40}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 1, srcSpanStartColumn = 1, srcSpanEndLine = 1, srcSpanEndColumn = 13},SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 1, srcSpanStartColumn = 37, srcSpanEndLine = 1, srcSpanEndColumn = 40}]}) [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 1, srcSpanStartColumn = 14, srcSpanEndLine = 1, srcSpanEndColumn = 36}, srcInfoPoints = []}) "FunctionalDependencies"]] [] [ClassDecl (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 1, srcSpanEndLine = 4, srcSpanEndColumn = 17}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 1, srcSpanEndLine = 4, srcSpanEndColumn = 6},SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 11, srcSpanEndLine = 4, srcSpanEndColumn = 12}]}) Nothing (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 7, srcSpanEndLine = 4, srcSpanEndColumn = 8}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 7, srcSpanEndLine = 4, srcSpanEndColumn = 8}, srcInfoPoints = []}) "C") [UnkindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 9, srcSpanEndLine = 4, srcSpanEndColumn = 10}, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 9, srcSpanEndLine = 4, srcSpanEndColumn = 10}, srcInfoPoints = []}) "a")]) [FunDep (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 13, srcSpanEndLine = 4, srcSpanEndColumn = 17}, srcInfoPoints = [SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 13, srcSpanEndLine = 4, srcSpanEndColumn = 15}]}) [] [Ident (SrcSpanInfo {srcInfoSpan = SrcSpan {srcSpanFilename = "tests/examples/EmptyFunDepPremise.hs", srcSpanStartLine = 4, srcSpanStartColumn = 16, srcSpanEndLine = 4, srcSpanEndColumn = 17}, srcInfoPoints = []}) "a"]] Nothing],[])