ParseOk ( Module SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 1 1 6 1 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 1 1 1 1 , SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 2 1 , SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 2 1 , SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 2 1 , SrcSpan "tests/examples/DefaultSignatures.hs" 6 1 6 1 , SrcSpan "tests/examples/DefaultSignatures.hs" 6 1 6 1 ] } Nothing [ LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 1 1 1 35 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 1 1 1 13 , SrcSpan "tests/examples/DefaultSignatures.hs" 1 32 1 35 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 1 14 1 31 , srcInfoPoints = [] } "DefaultSignatures" ] ] [] [ ClassDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 5 19 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 2 6 , SrcSpan "tests/examples/DefaultSignatures.hs" 2 11 2 16 , SrcSpan "tests/examples/DefaultSignatures.hs" 3 5 3 5 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 5 4 5 , SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 5 , SrcSpan "tests/examples/DefaultSignatures.hs" 6 1 6 0 ] } Nothing (DHApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 2 7 2 10 , srcInfoPoints = [] } (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 2 7 2 8 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 2 7 2 8 , srcInfoPoints = [] } "C")) (UnkindedVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 2 9 2 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 2 9 2 10 , srcInfoPoints = [] } "a"))) [] (Just [ ClsDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 5 3 24 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 3 7 3 9 ] } (TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 5 3 24 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 3 7 3 9 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 5 3 6 , srcInfoPoints = [] } "f" ] (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 10 3 24 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 3 12 3 14 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 10 3 11 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 10 3 11 , srcInfoPoints = [] } "a")) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 15 3 24 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 3 17 3 19 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 15 3 16 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 15 3 16 , srcInfoPoints = [] } "a")) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 20 3 24 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 20 3 24 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 3 20 3 24 , srcInfoPoints = [] } "Bool")))))) , ClsDefSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 5 4 42 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 5 4 12 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 15 4 17 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 13 4 14 , srcInfoPoints = [] } "f") (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 42 , srcInfoPoints = [] } Nothing (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 27 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 19 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 23 4 24 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 25 4 27 ] } (ParenA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 27 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 19 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 23 4 24 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 25 4 27 ] } (TypeA SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 19 4 23 , srcInfoPoints = [] } (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 19 4 23 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 19 4 23 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 19 4 21 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 19 4 21 , srcInfoPoints = [] } "Eq"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 22 4 23 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 22 4 23 , srcInfoPoints = [] } "a"))))))) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 28 4 42 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 30 4 32 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 28 4 29 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 28 4 29 , srcInfoPoints = [] } "a")) (TyFun SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 33 4 42 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 35 4 37 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 33 4 34 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 33 4 34 , srcInfoPoints = [] } "a")) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 38 4 42 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 38 4 42 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 4 38 4 42 , srcInfoPoints = [] } "Bool")))))) , ClsDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 19 , srcInfoPoints = [] } (FunBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 19 , srcInfoPoints = [] } [ Match SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 19 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 6 , srcInfoPoints = [] } "f") [ PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 7 5 8 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 7 5 8 , srcInfoPoints = [] } "x") , PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 9 5 10 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 9 5 10 , srcInfoPoints = [] } "y") ] (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 11 5 19 , srcInfoPoints = [ SrcSpan "tests/examples/DefaultSignatures.hs" 5 11 5 12 ] } (InfixApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 13 5 19 , srcInfoPoints = [] } (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 13 5 14 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 13 5 14 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 13 5 14 , srcInfoPoints = [] } "x"))) (QVarOp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 15 5 17 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 15 5 17 , srcInfoPoints = [] } (Symbol SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 15 5 17 , srcInfoPoints = [] } "=="))) (Var SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 18 5 19 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 18 5 19 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/DefaultSignatures.hs" 5 18 5 19 , srcInfoPoints = [] } "y"))))) Nothing ]) ]) ] , [] )