haskell-src-exts-1.17.0: tests/examples/TypeListCons.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 1 8 1
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 1 1 1 1
, SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 1
, SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 1
, SrcSpan "tests/examples/TypeListCons.hs" 5 1 5 1
, SrcSpan "tests/examples/TypeListCons.hs" 6 1 6 1
, SrcSpan "tests/examples/TypeListCons.hs" 7 1 7 1
, SrcSpan "tests/examples/TypeListCons.hs" 8 1 8 1
, SrcSpan "tests/examples/TypeListCons.hs" 8 1 8 1
]
}
(Just
(ModuleHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 26
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 3 1 3 7
, SrcSpan "tests/examples/TypeListCons.hs" 3 21 3 26
]
}
(ModuleName
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 3 8 3 20
, srcInfoPoints = []
}
"TypeListCons")
Nothing
Nothing))
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 1 1 42
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 1 1 1 13
, SrcSpan "tests/examples/TypeListCons.hs" 1 23 1 24
, SrcSpan "tests/examples/TypeListCons.hs" 1 39 1 42
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 14 1 23
, srcInfoPoints = []
}
"DataKinds"
, Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 1 25 1 38
, srcInfoPoints = []
}
"TypeOperators"
]
]
[]
[ TypeDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 1 5 24
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 5 1 5 5
, SrcSpan "tests/examples/TypeListCons.hs" 5 14 5 15
]
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 6 5 13
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 6 5 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 6 5 11
, srcInfoPoints = []
}
"List1"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 12 5 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 12 5 13
, srcInfoPoints = []
}
"a")))
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 24
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 20
, srcInfoPoints = []
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 16 5 17
, srcInfoPoints = []
}
"a"))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 20
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 19 ]
}
(PromotedCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 20
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 5 18 5 19 ]
}
True
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 19 5 20
, srcInfoPoints = []
}
(Cons
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 19 5 20
, srcInfoPoints = []
})))))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 24
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 22
, SrcSpan "tests/examples/TypeListCons.hs" 5 23 5 24
]
}
(PromotedList
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 24
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 5 21 5 22
, SrcSpan "tests/examples/TypeListCons.hs" 5 23 5 24
]
}
True
[])))
, TypeDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 1 6 26
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 6 1 6 5
, SrcSpan "tests/examples/TypeListCons.hs" 6 16 6 17
]
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 15
, srcInfoPoints = []
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 13
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 6 6 11
, srcInfoPoints = []
}
"List2"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 12 6 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 12 6 13
, srcInfoPoints = []
}
"a")))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 14 6 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 14 6 15
, srcInfoPoints = []
}
"b")))
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 26
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 22
, srcInfoPoints = []
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 18 6 19
, srcInfoPoints = []
}
"a"))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 22
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 21 ]
}
(PromotedCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 22
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 6 20 6 21 ]
}
True
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 21 6 22
, srcInfoPoints = []
}
(Cons
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 21 6 22
, srcInfoPoints = []
})))))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 26
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 24
, SrcSpan "tests/examples/TypeListCons.hs" 6 25 6 26
]
}
(PromotedList
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 26
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 6 23 6 24
, SrcSpan "tests/examples/TypeListCons.hs" 6 25 6 26
]
}
True
[])))
, TypeDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 1 7 38
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 7 1 7 5
, SrcSpan "tests/examples/TypeListCons.hs" 7 18 7 19
]
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 17
, srcInfoPoints = []
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 15
, srcInfoPoints = []
}
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 13
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 6 7 11
, srcInfoPoints = []
}
"List3"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 12 7 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 12 7 13
, srcInfoPoints = []
}
"a")))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 14 7 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 14 7 15
, srcInfoPoints = []
}
"b")))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 16 7 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 16 7 17
, srcInfoPoints = []
}
"c")))
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 38
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 34
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 31
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 29
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 26
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 24
, srcInfoPoints = []
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeListCons.hs" 7 20 7 21
, srcInfoPoints = []
}
"a"))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 24
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 23 ]
}
(PromotedCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 24
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 7 22 7 23 ]
}
True
(Special
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeListCons.hs" 7 23 7 24
, srcInfoPoints = []
}
(Cons
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeListCons.hs" 7 23 7 24
, srcInfoPoints = []
})))))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 25 7 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 25 7 26
, srcInfoPoints = []
}
"b")))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 29
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 28 ]
}
(PromotedCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 29
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 7 27 7 28 ]
}
True
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 28 7 29
, srcInfoPoints = []
}
(Cons
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/TypeListCons.hs" 7 28 7 29
, srcInfoPoints = []
})))))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 30 7 31
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 30 7 31
, srcInfoPoints = []
}
"c")))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 34
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 33 ]
}
(PromotedCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 34
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 7 32 7 33 ]
}
True
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 33 7 34
, srcInfoPoints = []
}
(Cons
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 33 7 34
, srcInfoPoints = []
})))))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 38
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 36
, SrcSpan "tests/examples/TypeListCons.hs" 7 37 7 38
]
}
(PromotedList
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 38
, srcInfoPoints =
[ SrcSpan "tests/examples/TypeListCons.hs" 7 35 7 36
, SrcSpan "tests/examples/TypeListCons.hs" 7 37 7 38
]
}
True
[])))
]
, []
)