ParseOk ( Module SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 2 1 6 1 , srcInfoPoints = [ SrcSpan "tests/examples/EqualityConstraints1.hs" 2 1 2 1 , SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 1 , SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 1 , SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 1 , SrcSpan "tests/examples/EqualityConstraints1.hs" 5 1 5 1 , SrcSpan "tests/examples/EqualityConstraints1.hs" 6 1 6 1 , SrcSpan "tests/examples/EqualityConstraints1.hs" 6 1 6 1 ] } Nothing [ LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 2 1 2 23 , srcInfoPoints = [ SrcSpan "tests/examples/EqualityConstraints1.hs" 2 1 2 13 , SrcSpan "tests/examples/EqualityConstraints1.hs" 2 20 2 23 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 2 14 2 19 , srcInfoPoints = [] } "GADTs" ] ] [] [ TypeSig SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 20 , srcInfoPoints = [ SrcSpan "tests/examples/EqualityConstraints1.hs" 4 5 4 7 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 1 4 4 , srcInfoPoints = [] } "one" ] (TyForall SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 20 , srcInfoPoints = [] } Nothing (Just (CxSingle SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 18 , srcInfoPoints = [ SrcSpan "tests/examples/EqualityConstraints1.hs" 4 16 4 18 ] } (EqualP SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 15 , srcInfoPoints = [ SrcSpan "tests/examples/EqualityConstraints1.hs" 4 10 4 11 ] } (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 8 4 9 , srcInfoPoints = [] } "a")) (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 12 4 15 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 12 4 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 12 4 15 , srcInfoPoints = [] } "Int")))))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 19 4 20 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 4 19 4 20 , srcInfoPoints = [] } "a"))) , PatBind SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 5 1 5 8 , srcInfoPoints = [] } (PVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 5 1 5 4 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 5 1 5 4 , srcInfoPoints = [] } "one")) (UnGuardedRhs SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 5 5 5 8 , srcInfoPoints = [ SrcSpan "tests/examples/EqualityConstraints1.hs" 5 5 5 6 ] } (Lit SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 5 7 5 8 , srcInfoPoints = [] } (Int SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/EqualityConstraints1.hs" 5 7 5 8 , srcInfoPoints = [] } 1 "1"))) Nothing ] , [ Comment False (SrcSpan "tests/examples/EqualityConstraints1.hs" 1 1 1 63) " https://github.com/haskell-suite/haskell-src-exts/issues/91" ] )