haskell-src-exts-1.22.0: tests/examples/TypeEqualityParen.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 1 1 4 1
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeEqualityParen.hs" 1 1 1 1
, SrcSpan "tests/examples/TypeEqualityParen.hs" 2 1 2 1
, SrcSpan "tests/examples/TypeEqualityParen.hs" 2 1 2 1
, SrcSpan "tests/examples/TypeEqualityParen.hs" 2 1 2 1
, SrcSpan "tests/examples/TypeEqualityParen.hs" 3 1 3 1
, SrcSpan "tests/examples/TypeEqualityParen.hs" 4 1 4 1
, SrcSpan "tests/examples/TypeEqualityParen.hs" 4 1 4 1
]
}
Nothing
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 1 1 1 30
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeEqualityParen.hs" 1 1 1 13
, SrcSpan "tests/examples/TypeEqualityParen.hs" 1 27 1 30
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 1 14 1 26
, srcInfoPoints = []
}
"TypeFamilies"
]
]
[]
[ TypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 1 2 37
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeEqualityParen.hs" 2 3 2 5 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 1 2 2
, srcInfoPoints = []
}
"f"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 6 2 37
, srcInfoPoints = []
}
Nothing
(Just
(CxTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 6 2 28
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeEqualityParen.hs" 2 6 2 7
, SrcSpan "tests/examples/TypeEqualityParen.hs" 2 12 2 13
, SrcSpan "tests/examples/TypeEqualityParen.hs" 2 24 2 25
, SrcSpan "tests/examples/TypeEqualityParen.hs" 2 26 2 28
]
}
[ TypeA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 8 2 12
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 8 2 12
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 8 2 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 8 2 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 8 2 10
, srcInfoPoints = []
}
"Eq")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 11 2 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 11 2 12
, srcInfoPoints = []
}
"a")))
, ParenA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 14 2 23
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeEqualityParen.hs" 2 14 2 15
, SrcSpan "tests/examples/TypeEqualityParen.hs" 2 22 2 23
]
}
(TypeA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 15 2 22
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeEqualityParen.hs" 2 17 2 18 ]
}
(TyEquals
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 15 2 22
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeEqualityParen.hs" 2 17 2 18 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 15 2 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 15 2 16
, srcInfoPoints = []
}
"a"))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 19 2 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 19 2 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 19 2 22
, srcInfoPoints = []
}
"Int")))))
]))
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 29 2 37
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeEqualityParen.hs" 2 31 2 33 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 29 2 30
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 29 2 30
, srcInfoPoints = []
}
"a"))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 34 2 37
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 34 2 37
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 2 34 2 37
, srcInfoPoints = []
}
"Int")))))
, FunBind
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 3 1 3 8
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 3 1 3 8
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 3 1 3 2
, srcInfoPoints = []
}
"f")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 3 3 3 4
, srcInfoPoints = []
}
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 3 5 3 8
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeEqualityParen.hs" 3 5 3 6 ]
}
(Lit
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 3 7 3 8
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeEqualityParen.hs" 3 7 3 8
, srcInfoPoints = []
}
3
"3")))
Nothing
]
]
, []
)