ParseOk (Module (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 1 8 1, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 1,SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 1,SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 1,SrcSpan "tests/examples/MinimalPragma.hs" 8 1 8 1,SrcSpan "tests/examples/MinimalPragma.hs" 8 1 8 1]}) Nothing [] [] [ClassDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 1 6 33, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 6,SrcSpan "tests/examples/MinimalPragma.hs" 1 12 1 17,SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 6,SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 6,SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 6,SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 6,SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 6,SrcSpan "tests/examples/MinimalPragma.hs" 8 1 8 0]}) Nothing (DHApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 7 1 11, srcInfoPoints = []}) (DHead (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 7 1 9, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 7 1 9, srcInfoPoints = []}) "Eq")) (UnkindedVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 10 1 11, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 10 1 11, srcInfoPoints = []}) "a"))) [] (Just [ClsDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 28, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 2 11 2 13]}) (TypeSig (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 28, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 2 11 2 13]}) [Symbol (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 10, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 7,SrcSpan "tests/examples/MinimalPragma.hs" 2 7 2 9,SrcSpan "tests/examples/MinimalPragma.hs" 2 9 2 10]}) "=="] (TyFun (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 14 2 28, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 2 16 2 18]}) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 14 2 15, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 14 2 15, srcInfoPoints = []}) "a")) (TyFun (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 19 2 28, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 2 21 2 23]}) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 19 2 20, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 19 2 20, srcInfoPoints = []}) "a")) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 24 2 28, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 24 2 28, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 24 2 28, srcInfoPoints = []}) "Bool")))))),ClsDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 28, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 3 11 3 13]}) (TypeSig (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 28, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 3 11 3 13]}) [Symbol (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 10, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 7,SrcSpan "tests/examples/MinimalPragma.hs" 3 7 3 9,SrcSpan "tests/examples/MinimalPragma.hs" 3 9 3 10]}) "/="] (TyFun (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 14 3 28, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 3 16 3 18]}) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 14 3 15, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 14 3 15, srcInfoPoints = []}) "a")) (TyFun (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 19 3 28, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 3 21 3 23]}) (TyVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 19 3 20, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 19 3 20, srcInfoPoints = []}) "a")) (TyCon (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 24 3 28, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 24 3 28, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 24 3 28, srcInfoPoints = []}) "Bool")))))),ClsDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 27, srcInfoPoints = []}) (FunBind (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 27, srcInfoPoints = []}) [InfixMatch (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 27, srcInfoPoints = []}) (PVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 7, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 7, srcInfoPoints = []}) "x")) (Symbol (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 8 4 10, srcInfoPoints = []}) "==") [PVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 11 4 12, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 11 4 12, srcInfoPoints = []}) "y")] (UnGuardedRhs (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 13 4 27, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 4 13 4 14]}) (App (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 27, srcInfoPoints = []}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 18, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 18, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 18, srcInfoPoints = []}) "not"))) (Paren (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 19 4 27, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 4 19 4 20,SrcSpan "tests/examples/MinimalPragma.hs" 4 26 4 27]}) (InfixApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 26, srcInfoPoints = []}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 21, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 21, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 21, srcInfoPoints = []}) "x"))) (QVarOp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 22 4 24, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 22 4 24, srcInfoPoints = []}) (Symbol (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 22 4 24, srcInfoPoints = []}) "/="))) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 25 4 26, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 25 4 26, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 25 4 26, srcInfoPoints = []}) "y"))))))) Nothing]),ClsDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 27, srcInfoPoints = []}) (FunBind (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 27, srcInfoPoints = []}) [InfixMatch (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 27, srcInfoPoints = []}) (PVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 7, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 7, srcInfoPoints = []}) "x")) (Symbol (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 8 5 10, srcInfoPoints = []}) "/=") [PVar (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 11 5 12, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 11 5 12, srcInfoPoints = []}) "y")] (UnGuardedRhs (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 13 5 27, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 5 13 5 14]}) (App (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 27, srcInfoPoints = []}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 18, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 18, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 18, srcInfoPoints = []}) "not"))) (Paren (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 19 5 27, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 5 19 5 20,SrcSpan "tests/examples/MinimalPragma.hs" 5 26 5 27]}) (InfixApp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 26, srcInfoPoints = []}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 21, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 21, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 21, srcInfoPoints = []}) "x"))) (QVarOp (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 22 5 24, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 22 5 24, srcInfoPoints = []}) (Symbol (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 22 5 24, srcInfoPoints = []}) "=="))) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 25 5 26, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 25 5 26, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 25 5 26, srcInfoPoints = []}) "y"))))))) Nothing]),ClsDecl (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 33, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 17,SrcSpan "tests/examples/MinimalPragma.hs" 6 30 6 33]}) (MinimalPragma (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 33, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 17,SrcSpan "tests/examples/MinimalPragma.hs" 6 30 6 33]}) (Just (OrFormula (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 29, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 6 23 6 24]}) [VarFormula (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 22, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 19,SrcSpan "tests/examples/MinimalPragma.hs" 6 19 6 21,SrcSpan "tests/examples/MinimalPragma.hs" 6 21 6 22]}) (Symbol (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 22, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 19,SrcSpan "tests/examples/MinimalPragma.hs" 6 19 6 21,SrcSpan "tests/examples/MinimalPragma.hs" 6 21 6 22]}) "=="),VarFormula (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 29, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 26,SrcSpan "tests/examples/MinimalPragma.hs" 6 26 6 28,SrcSpan "tests/examples/MinimalPragma.hs" 6 28 6 29]}) (Symbol (SrcSpanInfo {srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 29, srcInfoPoints = [SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 26,SrcSpan "tests/examples/MinimalPragma.hs" 6 26 6 28,SrcSpan "tests/examples/MinimalPragma.hs" 6 28 6 29]}) "/=")])))])],[])