haskell-src-exts-1.24.0: tests/examples/ClosedTypeFamily.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 1 9 1
, srcInfoPoints =
[ SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 1 1 1
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 1 3 1
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 1 3 1
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 1 5 1
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 9 1 9 1
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 9 1 9 1
]
}
(Just
(ModuleHead
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 1 3 30
, srcInfoPoints =
[ SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 1 3 7
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 25 3 30
]
}
(ModuleName
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 8 3 24
, srcInfoPoints = []
}
"ClosedTypeFamily")
Nothing
Nothing))
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 1 1 41
, srcInfoPoints =
[ SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 1 1 13
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 26 1 27
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 38 1 41
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 14 1 26
, srcInfoPoints = []
}
"TypeFamilies"
, Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 28 1 37
, srcInfoPoints = []
}
"DataKinds"
]
]
[]
[ ClosedTypeFamDecl
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 1 5 19
, srcInfoPoints =
[ SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 1 5 5
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 6 5 12
, SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 20 5 25
]
}
(DHApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 13 5 19
, srcInfoPoints = []
}
(DHApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 13 5 17
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 13 5 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 13 5 15
, srcInfoPoints = []
}
"Eq"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 16 5 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 16 5 17
, srcInfoPoints = []
}
"x")))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 18 5 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 18 5 19
, srcInfoPoints = []
}
"y")))
Nothing
Nothing
[ TypeEqn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 16
, srcInfoPoints =
[ SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 10 6 11 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 9
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 7
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 5
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 5
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 5
, srcInfoPoints = []
}
"Eq")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 6 6 7
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 6 6 7
, srcInfoPoints = []
}
"x")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 8 6 9
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 8 6 9
, srcInfoPoints = []
}
"x")))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 12 6 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 12 6 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 12 6 16
, srcInfoPoints = []
}
"True")))
, TypeEqn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 17
, srcInfoPoints =
[ SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 10 7 11 ]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 9
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 7
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 5
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 5
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 5
, srcInfoPoints = []
}
"Eq")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 6 7 7
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 6 7 7
, srcInfoPoints = []
}
"x")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 8 7 9
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 8 7 9
, srcInfoPoints = []
}
"y")))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 12 7 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 12 7 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 12 7 17
, srcInfoPoints = []
}
"False")))
]
]
, []
)