haskell-src-exts-1.24.0: tests/examples/List2.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 1 1 36 1
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 1 1 1 1
, SrcSpan "tests/examples/List2.hs" 2 1 2 1
, SrcSpan "tests/examples/List2.hs" 3 1 3 1
, SrcSpan "tests/examples/List2.hs" 4 1 4 1
, SrcSpan "tests/examples/List2.hs" 5 1 5 1
, SrcSpan "tests/examples/List2.hs" 6 1 6 1
, SrcSpan "tests/examples/List2.hs" 7 1 7 1
, SrcSpan "tests/examples/List2.hs" 8 1 8 1
, SrcSpan "tests/examples/List2.hs" 9 1 9 1
, SrcSpan "tests/examples/List2.hs" 10 1 10 1
, SrcSpan "tests/examples/List2.hs" 11 1 11 1
, SrcSpan "tests/examples/List2.hs" 12 1 12 1
, SrcSpan "tests/examples/List2.hs" 13 1 13 1
, SrcSpan "tests/examples/List2.hs" 14 1 14 1
, SrcSpan "tests/examples/List2.hs" 15 1 15 1
, SrcSpan "tests/examples/List2.hs" 30 1 30 1
, SrcSpan "tests/examples/List2.hs" 30 1 30 1
, SrcSpan "tests/examples/List2.hs" 32 1 32 1
, SrcSpan "tests/examples/List2.hs" 33 1 33 1
, SrcSpan "tests/examples/List2.hs" 34 1 34 1
, SrcSpan "tests/examples/List2.hs" 36 1 36 1
, SrcSpan "tests/examples/List2.hs" 36 1 36 1
]
}
(Just
(ModuleHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 30 1 30 30
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 30 1 30 7
, SrcSpan "tests/examples/List2.hs" 30 25 30 30
]
}
(ModuleName
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 30 8 30 24
, srcInfoPoints = []
}
"Type.Family.List")
Nothing
Nothing))
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 1 1 1 40
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 1 1 1 13
, SrcSpan "tests/examples/List2.hs" 1 37 1 40
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 1 14 1 36
, srcInfoPoints = []
}
"TypeFamilyDependencies"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 2 1 2 33
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 2 1 2 13
, SrcSpan "tests/examples/List2.hs" 2 30 2 33
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 2 14 2 29
, srcInfoPoints = []
}
"PatternSynonyms"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 3 1 3 33
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 3 1 3 13
, SrcSpan "tests/examples/List2.hs" 3 30 3 33
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 3 14 3 29
, srcInfoPoints = []
}
"ConstraintKinds"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 4 1 4 28
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 4 1 4 13
, SrcSpan "tests/examples/List2.hs" 4 25 4 28
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 4 14 4 24
, srcInfoPoints = []
}
"RankNTypes"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 5 1 5 36
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 5 1 5 13
, SrcSpan "tests/examples/List2.hs" 5 33 5 36
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 5 14 5 32
, srcInfoPoints = []
}
"StandaloneDeriving"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 6 1 6 35
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 6 1 6 13
, SrcSpan "tests/examples/List2.hs" 6 32 6 35
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 6 14 6 31
, srcInfoPoints = []
}
"FlexibleInstances"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 7 1 7 40
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 7 1 7 13
, SrcSpan "tests/examples/List2.hs" 7 37 7 40
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 7 14 7 36
, srcInfoPoints = []
}
"FunctionalDependencies"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 8 1 8 38
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 8 1 8 13
, SrcSpan "tests/examples/List2.hs" 8 35 8 38
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 8 14 8 34
, srcInfoPoints = []
}
"UndecidableInstances"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 9 1 9 30
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 9 1 9 13
, SrcSpan "tests/examples/List2.hs" 9 27 9 30
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 9 14 9 26
, srcInfoPoints = []
}
"TypeFamilies"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 10 1 10 28
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 10 1 10 13
, SrcSpan "tests/examples/List2.hs" 10 25 10 28
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 10 14 10 24
, srcInfoPoints = []
}
"LambdaCase"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 11 1 11 31
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 11 1 11 13
, SrcSpan "tests/examples/List2.hs" 11 28 11 31
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 11 14 11 27
, srcInfoPoints = []
}
"TypeOperators"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 12 1 12 32
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 12 1 12 13
, SrcSpan "tests/examples/List2.hs" 12 29 12 32
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 12 14 12 28
, srcInfoPoints = []
}
"KindSignatures"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 13 1 13 27
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 13 1 13 13
, SrcSpan "tests/examples/List2.hs" 13 24 13 27
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 13 14 13 23
, srcInfoPoints = []
}
"DataKinds"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 14 1 14 27
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 14 1 14 13
, SrcSpan "tests/examples/List2.hs" 14 24 14 27
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 14 14 14 23
, srcInfoPoints = []
}
"PolyKinds"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 15 1 15 23
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 15 1 15 13
, SrcSpan "tests/examples/List2.hs" 15 20 15 23
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 15 14 15 19
, srcInfoPoints = []
}
"GADTs"
]
]
[]
[ TypeDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 32 1 32 16
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 32 1 32 5
, SrcSpan "tests/examples/List2.hs" 32 11 32 12
]
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 32 6 32 7
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 32 6 32 7
, srcInfoPoints = []
}
"\216"))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 32 13 32 16
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 32 13 32 14
, SrcSpan "tests/examples/List2.hs" 32 15 32 16
]
}
(PromotedList
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 32 13 32 16
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 32 13 32 14
, SrcSpan "tests/examples/List2.hs" 32 15 32 16
]
}
True
[]))
, TypeDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 33 1 33 17
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 33 1 33 5
, SrcSpan "tests/examples/List2.hs" 33 11 33 12
]
}
(DHead
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 33 6 33 10
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 33 6 33 7
, SrcSpan "tests/examples/List2.hs" 33 7 33 9
, SrcSpan "tests/examples/List2.hs" 33 9 33 10
]
}
(Symbol
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 33 7 33 9
, srcInfoPoints = []
}
":<"))
(TyPromoted
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 33 13 33 17
, srcInfoPoints = [ SrcSpan "tests/examples/List2.hs" 33 13 33 14 ]
}
(PromotedCon
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 33 13 33 17
, srcInfoPoints = [ SrcSpan "tests/examples/List2.hs" 33 13 33 14 ]
}
True
(Special
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 33 14 33 17
, srcInfoPoints =
[ SrcSpan "tests/examples/List2.hs" 33 14 33 15
, SrcSpan "tests/examples/List2.hs" 33 15 33 16
, SrcSpan "tests/examples/List2.hs" 33 16 33 17
]
}
(Cons
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 33 15 33 16
, srcInfoPoints = []
}))))
, InfixDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 34 1 34 12
, srcInfoPoints = [ SrcSpan "tests/examples/List2.hs" 34 8 34 9 ]
}
(AssocRight
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 34 1 34 7
, srcInfoPoints = []
})
(Just 5)
[ ConOp
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 34 10 34 12
, srcInfoPoints = []
}
(Symbol
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/List2.hs" 34 10 34 12
, srcInfoPoints = []
}
":<")
]
]
, [ Comment
False
(SrcSpan "tests/examples/List2.hs" 16 1 16 78)
"---------------------------------------------------------------------------"
, Comment False (SrcSpan "tests/examples/List2.hs" 17 1 17 5) " |"
, Comment
False
(SrcSpan "tests/examples/List2.hs" 18 1 18 35)
" Module : Type.Family.List"
, Comment
False
(SrcSpan "tests/examples/List2.hs" 19 1 19 49)
" Copyright : Copyright (C) 2015 Kyle Carter"
, Comment
False
(SrcSpan "tests/examples/List2.hs" 20 1 20 23)
" License : BSD3"
, Comment False (SrcSpan "tests/examples/List2.hs" 21 1 21 3) ""
, Comment
False
(SrcSpan "tests/examples/List2.hs" 22 1 22 53)
" Maintainer : Kyle Carter <kylcarte@indiana.edu>"
, Comment
False
(SrcSpan "tests/examples/List2.hs" 23 1 23 31)
" Stability : experimental"
, Comment
False
(SrcSpan "tests/examples/List2.hs" 24 1 24 29)
" Portability : RankNTypes"
, Comment False (SrcSpan "tests/examples/List2.hs" 25 1 25 3) ""
, Comment
False
(SrcSpan "tests/examples/List2.hs" 26 1 26 57)
" Convenient aliases and type families for working with"
, Comment
False
(SrcSpan "tests/examples/List2.hs" 27 1 27 21)
" type-level lists."
, Comment
False
(SrcSpan "tests/examples/List2.hs" 28 1 28 77)
"--------------------------------------------------------------------------"
]
)