haskell-src-exts-1.24.0: tests/examples/DataKinds2.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 1 1 10 1
, srcInfoPoints =
[ SrcSpan "tests/examples/DataKinds2.hs" 1 1 1 1
, SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 1
, SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 1
, SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 1
, SrcSpan "tests/examples/DataKinds2.hs" 5 1 5 1
, SrcSpan "tests/examples/DataKinds2.hs" 7 1 7 1
, SrcSpan "tests/examples/DataKinds2.hs" 9 1 9 1
, SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1
, SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1
]
}
Nothing
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 1 1 1 27
, srcInfoPoints =
[ SrcSpan "tests/examples/DataKinds2.hs" 1 1 1 13
, SrcSpan "tests/examples/DataKinds2.hs" 1 24 1 27
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 1 14 1 23
, srcInfoPoints = []
}
"DataKinds"
]
]
[]
[ DataDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 17
, srcInfoPoints =
[ SrcSpan "tests/examples/DataKinds2.hs" 3 12 3 13 ]
}
(DataType
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 1 3 5
, srcInfoPoints = []
})
Nothing
(DHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 6 3 11
, srcInfoPoints = []
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 6 3 9
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 6 3 9
, srcInfoPoints = []
}
"Foo"))
(UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 10 3 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 10 3 11
, srcInfoPoints = []
}
"a")))
[ QualConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 14 3 17
, srcInfoPoints = []
}
Nothing
Nothing
(ConDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 14 3 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 3 14 3 17
, srcInfoPoints = []
}
"Foo")
[])
]
[]
, TypeDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 1 5 20
, srcInfoPoints =
[ SrcSpan "tests/examples/DataKinds2.hs" 5 1 5 5
, SrcSpan "tests/examples/DataKinds2.hs" 5 11 5 12
]
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 6 5 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 6 5 10
, srcInfoPoints = []
}
"FooB"))
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 20
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 13 5 16
, srcInfoPoints = []
}
"Foo")))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 17 5 20
, srcInfoPoints = []
}
(PromotedString
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 5 17 5 20
, srcInfoPoints = []
}
"a"
"a")))
, TypeDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 1 7 18
, srcInfoPoints =
[ SrcSpan "tests/examples/DataKinds2.hs" 7 1 7 5
, SrcSpan "tests/examples/DataKinds2.hs" 7 11 7 12
]
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 6 7 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 6 7 10
, srcInfoPoints = []
}
"FooC"))
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 18
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 13 7 16
, srcInfoPoints = []
}
"Foo")))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 17 7 18
, srcInfoPoints = []
}
(PromotedInteger
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 7 17 7 18
, srcInfoPoints = []
}
1
"1")))
, InstDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 1 10 0
, srcInfoPoints =
[ SrcSpan "tests/examples/DataKinds2.hs" 9 1 9 9
, SrcSpan "tests/examples/DataKinds2.hs" 9 27 9 32
, SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1
, SrcSpan "tests/examples/DataKinds2.hs" 10 1 10 1
, SrcSpan "tests/examples/DataKinds2.hs" 10 0 10 0
]
}
Nothing
(IRule
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 26
, srcInfoPoints = []
}
Nothing
Nothing
(IHApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 26
, srcInfoPoints = []
}
(IHCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 10 9 14
, srcInfoPoints = []
}
"Show")))
(TyParen
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 15 9 26
, srcInfoPoints =
[ SrcSpan "tests/examples/DataKinds2.hs" 9 15 9 16
, SrcSpan "tests/examples/DataKinds2.hs" 9 25 9 26
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 25
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 19
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 16 9 19
, srcInfoPoints = []
}
"Foo")))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 20 9 25
, srcInfoPoints = []
}
(PromotedString
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/DataKinds2.hs" 9 20 9 25
, srcInfoPoints = []
}
"bar"
"bar"))))))
(Just [])
]
, []
)