ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 1 1 77 1
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 1 1 1 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 3 1 3 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 5 1 5 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 5 1 5 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 5 1 5 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 8 1 8 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 9 1 9 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 10 1 10 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 12 1 12 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 13 1 13 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 16 1 16 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 17 1 17 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 19 1 19 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 20 1 20 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 22 1 22 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 23 1 23 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 25 1 25 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 26 1 26 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 28 1 28 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 30 1 30 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 31 1 31 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 34 1 34 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 1 36 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 37 1 37 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 39 1 39 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 40 1 40 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 42 1 42 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 43 1 43 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 46 1 46 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 48 1 48 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 50 1 50 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 53 1 53 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 56 1 56 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 58 1 58 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 60 1 60 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 63 1 63 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 65 1 65 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 67 1 67 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 69 1 69 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 72 1 72 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 75 1 75 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 77 1 77 1
, SrcSpan "tests/examples/PatternSynonyms3.hs" 77 1 77 1
]
}
Nothing
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 1 1 2 36
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 1 1 1 13
, SrcSpan "tests/examples/PatternSynonyms3.hs" 1 29 1 30
, SrcSpan "tests/examples/PatternSynonyms3.hs" 1 43 1 44
, SrcSpan "tests/examples/PatternSynonyms3.hs" 1 54 1 55
, SrcSpan "tests/examples/PatternSynonyms3.hs" 1 65 1 66
, SrcSpan "tests/examples/PatternSynonyms3.hs" 1 72 1 73
, SrcSpan "tests/examples/PatternSynonyms3.hs" 2 18 2 19
, SrcSpan "tests/examples/PatternSynonyms3.hs" 2 33 2 36
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 1 14 1 29
, srcInfoPoints = []
}
"PatternSynonyms"
, Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 1 31 1 43
, srcInfoPoints = []
}
"BangPatterns"
, Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 1 45 1 54
, srcInfoPoints = []
}
"PolyKinds"
, Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 1 56 1 65
, srcInfoPoints = []
}
"DataKinds"
, Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 1 67 1 72
, srcInfoPoints = []
}
"GADTs"
, Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 2 2 2 18
, srcInfoPoints = []
}
"FlexibleContexts"
, Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 2 20 2 32
, srcInfoPoints = []
}
"ViewPatterns"
]
, LanguagePragma
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 3 1 3 32
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 3 1 3 13
, SrcSpan "tests/examples/PatternSynonyms3.hs" 3 29 3 32
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 3 14 3 28
, srcInfoPoints = []
}
"ExplicitForAll"
]
]
[]
[ PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 5 1 5 24
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 5 1 5 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 5 18 5 20
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 5 9 5 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 5 9 5 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 5 9 5 15
, srcInfoPoints = []
}
"Single"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 5 16 5 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 5 16 5 17
, srcInfoPoints = []
}
"x")
])
(PList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 5 21 5 24
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 5 21 5 22
, SrcSpan "tests/examples/PatternSynonyms3.hs" 5 23 5 24
]
}
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 5 22 5 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 5 22 5 23
, srcInfoPoints = []
}
"x")
])
Unidirectional
, TypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 1 8 25
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 8 8 8 10 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 1 8 7
, srcInfoPoints = []
}
"single"
]
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 11 8 25
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 8 15 8 17 ]
}
(TyList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 11 8 14
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 8 11 8 12
, SrcSpan "tests/examples/PatternSynonyms3.hs" 8 13 8 14
]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 12 8 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 12 8 13
, srcInfoPoints = []
}
"a")))
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 18 8 25
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 18 8 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 18 8 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 18 8 23
, srcInfoPoints = []
}
"Maybe")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 24 8 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 8 24 8 25
, srcInfoPoints = []
}
"a"))))
, FunBind
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 1 10 19
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 1 9 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 1 9 7
, srcInfoPoints = []
}
"single")
[ PParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 8 9 18
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 9 8 9 9
, SrcSpan "tests/examples/PatternSynonyms3.hs" 9 17 9 18
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 9 9 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 9 9 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 9 9 15
, srcInfoPoints = []
}
"Single"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 16 9 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 16 9 17
, srcInfoPoints = []
}
"x")
])
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 19 9 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 9 19 9 20 ]
}
(App
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 21 9 27
, srcInfoPoints = []
}
(Con
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 21 9 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 21 9 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 21 9 25
, srcInfoPoints = []
}
"Just")))
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 26 9 27
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 26 9 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 9 26 9 27
, srcInfoPoints = []
}
"x")))))
Nothing
, Match
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 10 1 10 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 10 1 10 7
, srcInfoPoints = []
}
"single")
[ PWildCard
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 10 8 10 9
, srcInfoPoints = []
}
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 10 10 10 19
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 10 10 10 11 ]
}
(Con
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 10 12 10 19
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 10 12 10 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 10 12 10 19
, srcInfoPoints = []
}
"Nothing"))))
Nothing
]
, PatSynSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 12 1 12 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 12 1 12 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 12 16 12 18
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 12 9 12 15
, srcInfoPoints = []
}
"Single"
]
Nothing
Nothing
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 12 19 12 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 12 21 12 23 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 12 19 12 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 12 19 12 20
, srcInfoPoints = []
}
"a"))
(TyList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 12 24 12 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 12 24 12 25
, SrcSpan "tests/examples/PatternSynonyms3.hs" 12 26 12 27
]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 12 25 12 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 12 25 12 26
, srcInfoPoints = []
}
"a"))))
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 13 1 13 23
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 13 1 13 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 13 18 13 19
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 13 9 13 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 13 9 13 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 13 9 13 15
, srcInfoPoints = []
}
"Single"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 13 16 13 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 13 16 13 17
, srcInfoPoints = []
}
"x")
])
(PList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 13 20 13 23
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 13 20 13 21
, SrcSpan "tests/examples/PatternSynonyms3.hs" 13 22 13 23
]
}
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 13 21 13 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 13 21 13 22
, srcInfoPoints = []
}
"x")
])
ImplicitBidirectional
, PatSynSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 1 16 45
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 16 1 16 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 16 16 16 18
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 9 16 15
, srcInfoPoints = []
}
"Single"
]
Nothing
(Just
(CxEmpty
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 19 16 24
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 16 19 16 20
, SrcSpan "tests/examples/PatternSynonyms3.hs" 16 20 16 21
, SrcSpan "tests/examples/PatternSynonyms3.hs" 16 22 16 24
]
}))
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 25 16 36
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 16 25 16 26
, SrcSpan "tests/examples/PatternSynonyms3.hs" 16 32 16 33
, SrcSpan "tests/examples/PatternSynonyms3.hs" 16 34 16 36
]
}
(ParenA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 25 16 36
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 16 25 16 26
, SrcSpan "tests/examples/PatternSynonyms3.hs" 16 32 16 33
, SrcSpan "tests/examples/PatternSynonyms3.hs" 16 34 16 36
]
}
(ClassA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 26 16 32
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 26 16 30
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 26 16 30
, srcInfoPoints = []
}
"Show"))
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 31 16 32
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 31 16 32
, srcInfoPoints = []
}
"a")
]))))
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 37 16 45
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 16 39 16 41 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 37 16 38
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 37 16 38
, srcInfoPoints = []
}
"a"))
(TyList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 42 16 45
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 16 42 16 43
, SrcSpan "tests/examples/PatternSynonyms3.hs" 16 44 16 45
]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 43 16 44
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 16 43 16 44
, srcInfoPoints = []
}
"a"))))
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 17 1 17 23
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 17 1 17 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 17 18 17 19
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 17 9 17 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 17 9 17 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 17 9 17 15
, srcInfoPoints = []
}
"Single"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 17 16 17 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 17 16 17 17
, srcInfoPoints = []
}
"x")
])
(PList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 17 20 17 23
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 17 20 17 21
, SrcSpan "tests/examples/PatternSynonyms3.hs" 17 22 17 23
]
}
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 17 21 17 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 17 21 17 22
, srcInfoPoints = []
}
"x")
])
ImplicitBidirectional
, TypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 1 19 26
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 19 3 19 5 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 1 19 2
, srcInfoPoints = []
}
"f"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 6 19 26
, srcInfoPoints = []
}
Nothing
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 6 19 17
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 19 6 19 7
, SrcSpan "tests/examples/PatternSynonyms3.hs" 19 13 19 14
, SrcSpan "tests/examples/PatternSynonyms3.hs" 19 15 19 17
]
}
(ParenA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 6 19 17
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 19 6 19 7
, SrcSpan "tests/examples/PatternSynonyms3.hs" 19 13 19 14
, SrcSpan "tests/examples/PatternSynonyms3.hs" 19 15 19 17
]
}
(ClassA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 7 19 13
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 7 19 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 7 19 11
, srcInfoPoints = []
}
"Show"))
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 12 19 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 12 19 13
, srcInfoPoints = []
}
"a")
]))))
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 18 19 26
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 19 22 19 24 ]
}
(TyList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 18 19 21
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 19 18 19 19
, SrcSpan "tests/examples/PatternSynonyms3.hs" 19 20 19 21
]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 19 19 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 19 19 20
, srcInfoPoints = []
}
"a")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 25 19 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 19 25 19 26
, srcInfoPoints = []
}
"a"))))
, FunBind
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 1 20 17
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 1 20 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 1 20 2
, srcInfoPoints = []
}
"f")
[ PParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 3 20 13
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 20 3 20 4
, SrcSpan "tests/examples/PatternSynonyms3.hs" 20 12 20 13
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 4 20 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 4 20 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 4 20 10
, srcInfoPoints = []
}
"Single"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 11 20 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 11 20 12
, srcInfoPoints = []
}
"x")
])
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 14 20 17
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 20 14 20 15 ]
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 16 20 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 16 20 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 20 16 20 17
, srcInfoPoints = []
}
"x"))))
Nothing
]
, PatSynSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 1 22 41
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 22 1 22 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 22 20 22 22
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 9 22 19
, srcInfoPoints = []
}
"SinglePair"
]
Nothing
Nothing
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 23 22 41
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 22 30 22 32 ]
}
(TyTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 23 22 29
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 22 23 22 24
, SrcSpan "tests/examples/PatternSynonyms3.hs" 22 25 22 26
, SrcSpan "tests/examples/PatternSynonyms3.hs" 22 28 22 29
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 24 22 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 24 22 25
, srcInfoPoints = []
}
"a")
, TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 27 22 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 27 22 28
, srcInfoPoints = []
}
"a")
])
(TyList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 33 22 41
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 22 33 22 34
, SrcSpan "tests/examples/PatternSynonyms3.hs" 22 40 22 41
]
}
(TyTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 34 22 40
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 22 34 22 35
, SrcSpan "tests/examples/PatternSynonyms3.hs" 22 36 22 37
, SrcSpan "tests/examples/PatternSynonyms3.hs" 22 39 22 40
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 35 22 36
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 35 22 36
, srcInfoPoints = []
}
"a")
, TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 38 22 39
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 22 38 22 39
, srcInfoPoints = []
}
"a")
])))
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 23 1 23 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 23 1 23 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 23 22 23 23
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 23 9 23 21
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 23 9 23 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 23 9 23 19
, srcInfoPoints = []
}
"SinglePair"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 23 20 23 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 23 20 23 21
, srcInfoPoints = []
}
"x")
])
(PList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 23 24 23 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 23 24 23 25
, SrcSpan "tests/examples/PatternSynonyms3.hs" 23 26 23 27
]
}
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 23 25 23 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 23 25 23 26
, srcInfoPoints = []
}
"x")
])
ImplicitBidirectional
, TypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 1 25 36
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 25 3 25 5 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 1 25 2
, srcInfoPoints = []
}
"f"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 6 25 36
, srcInfoPoints = []
}
Nothing
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 6 25 17
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 25 6 25 7
, SrcSpan "tests/examples/PatternSynonyms3.hs" 25 13 25 14
, SrcSpan "tests/examples/PatternSynonyms3.hs" 25 15 25 17
]
}
(ParenA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 6 25 17
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 25 6 25 7
, SrcSpan "tests/examples/PatternSynonyms3.hs" 25 13 25 14
, SrcSpan "tests/examples/PatternSynonyms3.hs" 25 15 25 17
]
}
(ClassA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 7 25 13
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 7 25 11
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 7 25 11
, srcInfoPoints = []
}
"Show"))
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 12 25 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 12 25 13
, srcInfoPoints = []
}
"a")
]))))
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 18 25 36
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 25 27 25 29 ]
}
(TyList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 18 25 26
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 25 18 25 19
, SrcSpan "tests/examples/PatternSynonyms3.hs" 25 25 25 26
]
}
(TyTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 19 25 25
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 25 19 25 20
, SrcSpan "tests/examples/PatternSynonyms3.hs" 25 21 25 22
, SrcSpan "tests/examples/PatternSynonyms3.hs" 25 24 25 25
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 20 25 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 20 25 21
, srcInfoPoints = []
}
"a")
, TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 23 25 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 23 25 24
, srcInfoPoints = []
}
"a")
]))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 30 25 36
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 30 25 36
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 25 30 25 36
, srcInfoPoints = []
}
"String")))))
, FunBind
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 1 26 26
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 1 26 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 1 26 2
, srcInfoPoints = []
}
"f")
[ PParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 3 26 17
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 26 3 26 4
, SrcSpan "tests/examples/PatternSynonyms3.hs" 26 16 26 17
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 4 26 16
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 4 26 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 4 26 14
, srcInfoPoints = []
}
"SinglePair"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 15 26 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 15 26 16
, srcInfoPoints = []
}
"x")
])
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 18 26 26
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 26 18 26 19 ]
}
(App
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 20 26 26
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 20 26 24
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 20 26 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 20 26 24
, srcInfoPoints = []
}
"show")))
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 25 26 26
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 25 26 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 26 25 26 26
, srcInfoPoints = []
}
"x")))))
Nothing
]
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 28 1 28 14
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 28 1 28 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 28 11 28 12
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 28 9 28 10
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 28 9 28 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 28 9 28 10
, srcInfoPoints = []
}
"Q"))
[])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 28 13 28 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 28 13 28 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 28 13 28 14
, srcInfoPoints = []
}
"D"))
[])
ImplicitBidirectional
, PatSynSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 1 30 36
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 30 1 30 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 30 11 30 13
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 9 30 10
, srcInfoPoints = []
}
"C"
]
Nothing
Nothing
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 14 30 36
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 30 16 30 18 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 14 30 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 14 30 15
, srcInfoPoints = []
}
"a"))
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 19 30 36
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 19 30 26
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 19 30 20
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 19 30 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 19 30 20
, srcInfoPoints = []
}
"X")))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 21 30 26
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 21 30 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 21 30 26
, srcInfoPoints = []
}
"Maybe"))))
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 27 30 36
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 30 27 30 28
, SrcSpan "tests/examples/PatternSynonyms3.hs" 30 35 30 36
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 28 30 35
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 28 30 33
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 28 30 33
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 28 30 33
, srcInfoPoints = []
}
"Maybe")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 34 30 35
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 30 34 30 35
, srcInfoPoints = []
}
"a"))))))
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 1 31 25
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 31 1 31 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 31 13 31 14
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 9 31 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 9 31 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 9 31 10
, srcInfoPoints = []
}
"C"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 11 31 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 11 31 12
, srcInfoPoints = []
}
"x")
])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 15 31 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 15 31 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 15 31 16
, srcInfoPoints = []
}
"Y"))
[ PParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 17 31 25
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 31 17 31 18
, SrcSpan "tests/examples/PatternSynonyms3.hs" 31 24 31 25
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 18 31 24
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 18 31 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 18 31 22
, srcInfoPoints = []
}
"Just"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 23 31 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 31 23 31 24
, srcInfoPoints = []
}
"x")
])
])
ImplicitBidirectional
, PatSynSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 1 34 49
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 34 1 34 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 34 13 34 15
, SrcSpan "tests/examples/PatternSynonyms3.hs" 34 16 34 22
, SrcSpan "tests/examples/PatternSynonyms3.hs" 34 32 34 33
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 9 34 12
, srcInfoPoints = []
}
"Syn"
]
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 23 34 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 23 34 24
, srcInfoPoints = []
}
"a")
, UnkindedVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 25 34 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 25 34 26
, srcInfoPoints = []
}
"b")
, UnkindedVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 27 34 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 27 34 28
, srcInfoPoints = []
}
"c")
])
(Just
(CxEmpty
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 34 34 39
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 34 34 34 35
, SrcSpan "tests/examples/PatternSynonyms3.hs" 34 35 34 36
, SrcSpan "tests/examples/PatternSynonyms3.hs" 34 37 34 39
]
}))
(Just
(CxEmpty
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 40 34 45
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 34 40 34 41
, SrcSpan "tests/examples/PatternSynonyms3.hs" 34 41 34 42
, SrcSpan "tests/examples/PatternSynonyms3.hs" 34 43 34 45
]
}))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 46 34 49
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 46 34 49
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 34 46 34 49
, srcInfoPoints = []
}
"Int")))
, PatSynSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 1 36 64
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 36 1 36 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 11 36 13
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 9 36 10
, srcInfoPoints = []
}
"C"
]
Nothing
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 14 36 33
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 36 14 36 15
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 29 36 30
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 31 36 33
]
}
(ParenA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 14 36 33
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 36 14 36 15
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 29 36 30
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 31 36 33
]
}
(ClassA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 15 36 29
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 15 36 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 15 36 19
, srcInfoPoints = []
}
"Show"))
[ TyTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 20 36 29
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 36 20 36 21
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 22 36 23
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 28 36 29
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 21 36 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 21 36 22
, srcInfoPoints = []
}
"a")
, TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 24 36 28
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 24 36 28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 24 36 28
, srcInfoPoints = []
}
"Bool"))
]
]))))
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 34 36 64
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 36 36 36 38 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 34 36 35
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 34 36 35
, srcInfoPoints = []
}
"a"))
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 39 36 64
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 39 36 46
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 39 36 40
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 39 36 40
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 39 36 40
, srcInfoPoints = []
}
"X")))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 41 36 46
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 41 36 46
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 41 36 46
, srcInfoPoints = []
}
"Maybe"))))
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 47 36 64
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 36 47 36 48
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 63 36 64
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 48 36 63
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 48 36 53
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 48 36 53
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 48 36 53
, srcInfoPoints = []
}
"Maybe")))
(TyTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 54 36 63
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 36 54 36 55
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 56 36 57
, SrcSpan "tests/examples/PatternSynonyms3.hs" 36 62 36 63
]
}
Boxed
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 55 36 56
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 55 36 56
, srcInfoPoints = []
}
"a")
, TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 58 36 62
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 58 36 62
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 36 58 36 62
, srcInfoPoints = []
}
"Bool"))
])))))
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 1 37 33
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 37 1 37 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 37 13 37 14
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 9 37 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 9 37 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 9 37 10
, srcInfoPoints = []
}
"C"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 11 37 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 11 37 12
, srcInfoPoints = []
}
"x")
])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 15 37 33
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 15 37 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 15 37 16
, srcInfoPoints = []
}
"Y"))
[ PParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 17 37 33
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 37 17 37 18
, SrcSpan "tests/examples/PatternSynonyms3.hs" 37 32 37 33
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 18 37 32
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 18 37 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 18 37 22
, srcInfoPoints = []
}
"Just"))
[ PTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 23 37 32
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 37 23 37 24
, SrcSpan "tests/examples/PatternSynonyms3.hs" 37 25 37 26
, SrcSpan "tests/examples/PatternSynonyms3.hs" 37 31 37 32
]
}
Boxed
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 24 37 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 24 37 25
, srcInfoPoints = []
}
"x")
, PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 27 37 31
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 27 37 31
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 37 27 37 31
, srcInfoPoints = []
}
"True"))
[]
]
])
])
ImplicitBidirectional
, PatSynSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 1 39 22
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 39 1 39 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 39 11 39 13
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 9 39 10
, srcInfoPoints = []
}
"P"
]
Nothing
Nothing
Nothing
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 14 39 22
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 14 39 20
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 14 39 15
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 14 39 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 14 39 15
, srcInfoPoints = []
}
"T")))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 16 39 20
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 16 39 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 16 39 20
, srcInfoPoints = []
}
"Bool"))))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 21 39 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 39 21 39 22
, srcInfoPoints = []
}
"b")))
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 1 40 22
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 40 1 40 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 40 11 40 13
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 9 40 10
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 9 40 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 9 40 10
, srcInfoPoints = []
}
"P"))
[])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 14 40 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 14 40 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 14 40 17
, srcInfoPoints = []
}
"MkT"))
[ PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 18 40 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 18 40 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 40 18 40 22
, srcInfoPoints = []
}
"True"))
[]
])
Unidirectional
, PatSynSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 1 42 35
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 42 1 42 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 42 11 42 13
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 9 42 10
, srcInfoPoints = []
}
"D"
]
Nothing
Nothing
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 14 42 35
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 42 16 42 18 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 14 42 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 14 42 15
, srcInfoPoints = []
}
"a"))
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 19 42 35
, srcInfoPoints = []
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 19 42 30
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 19 42 20
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 19 42 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 19 42 20
, srcInfoPoints = []
}
"T")))
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 21 42 30
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 42 21 42 22
, SrcSpan "tests/examples/PatternSynonyms3.hs" 42 29 42 30
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 22 42 29
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 22 42 27
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 22 42 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 22 42 27
, srcInfoPoints = []
}
"Maybe")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 28 42 29
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 28 42 29
, srcInfoPoints = []
}
"a")))))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 31 42 35
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 31 42 35
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 42 31 42 35
, srcInfoPoints = []
}
"Bool")))))
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 1 43 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 43 1 43 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 43 13 43 14
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 9 43 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 9 43 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 9 43 10
, srcInfoPoints = []
}
"D"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 11 43 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 11 43 12
, srcInfoPoints = []
}
"x")
])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 15 43 27
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 15 43 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 15 43 18
, srcInfoPoints = []
}
"MkT"))
[ PParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 19 43 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 43 19 43 20
, SrcSpan "tests/examples/PatternSynonyms3.hs" 43 26 43 27
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 20 43 26
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 20 43 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 20 43 24
, srcInfoPoints = []
}
"Just"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 25 43 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 43 25 43 26
, srcInfoPoints = []
}
"x")
])
])
ImplicitBidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 1 46 28
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 46 1 46 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 46 15 46 16
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 9 46 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 9 46 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 9 46 10
, srcInfoPoints = []
}
"P"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 11 46 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 11 46 12
, srcInfoPoints = []
}
"a")
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 13 46 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 13 46 14
, srcInfoPoints = []
}
"b")
])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 17 46 28
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 17 46 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 17 46 21
, srcInfoPoints = []
}
"Just"))
[ PTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 22 46 28
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 46 22 46 23
, SrcSpan "tests/examples/PatternSynonyms3.hs" 46 24 46 25
, SrcSpan "tests/examples/PatternSynonyms3.hs" 46 27 46 28
]
}
Boxed
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 23 46 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 23 46 24
, srcInfoPoints = []
}
"a")
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 26 46 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 46 26 46 27
, srcInfoPoints = []
}
"b")
]
])
ImplicitBidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 48 1 48 23
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 48 1 48 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 48 18 48 19
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 48 9 48 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 48 9 48 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 48 9 48 15
, srcInfoPoints = []
}
"Single"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 48 16 48 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 48 16 48 17
, srcInfoPoints = []
}
"x")
])
(PList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 48 20 48 23
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 48 20 48 21
, SrcSpan "tests/examples/PatternSynonyms3.hs" 48 22 48 23
]
}
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 48 21 48 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 48 21 48 22
, srcInfoPoints = []
}
"x")
])
ImplicitBidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 1 50 25
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 50 1 50 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 50 17 50 18
]
}
(PInfixApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 9 50 16
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 9 50 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 9 50 10
, srcInfoPoints = []
}
"a"))
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 11 50 14
, srcInfoPoints = []
}
(Symbol
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 11 50 14
, srcInfoPoints = []
}
":+:"))
(PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 15 50 16
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 15 50 16
, srcInfoPoints = []
}
"b")))
(PTuple
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 19 50 25
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 50 19 50 20
, SrcSpan "tests/examples/PatternSynonyms3.hs" 50 21 50 22
, SrcSpan "tests/examples/PatternSynonyms3.hs" 50 24 50 25
]
}
Boxed
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 20 50 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 20 50 21
, srcInfoPoints = []
}
"a")
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 23 50 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 50 23 50 24
, srcInfoPoints = []
}
"b")
])
ImplicitBidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 1 53 24
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 53 1 53 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 53 13 53 15
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 9 53 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 9 53 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 9 53 10
, srcInfoPoints = []
}
"P"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 11 53 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 11 53 12
, srcInfoPoints = []
}
"x")
])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 16 53 24
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 16 53 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 16 53 19
, srcInfoPoints = []
}
"MkT"))
[ PLit
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 20 53 22
, srcInfoPoints = []
}
(Signless
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 20 53 22
, srcInfoPoints = []
})
(Int
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 20 53 22
, srcInfoPoints = []
}
42
"42")
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 23 53 24
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 53 23 53 24
, srcInfoPoints = []
}
"x")
])
Unidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 1 56 25
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 56 1 56 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 56 15 56 17
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 9 56 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 9 56 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 9 56 10
, srcInfoPoints = []
}
"P"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 11 56 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 11 56 12
, srcInfoPoints = []
}
"x")
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 13 56 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 13 56 14
, srcInfoPoints = []
}
"y")
])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 18 56 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 18 56 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 18 56 21
, srcInfoPoints = []
}
"MkT"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 22 56 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 22 56 23
, srcInfoPoints = []
}
"x")
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 24 56 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 56 24 56 25
, srcInfoPoints = []
}
"y")
])
Unidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 1 58 33
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 58 1 58 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 58 13 58 15
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 9 58 12
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 9 58 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 9 58 10
, srcInfoPoints = []
}
"P"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 11 58 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 11 58 12
, srcInfoPoints = []
}
"x")
])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 16 58 33
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 16 58 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 16 58 19
, srcInfoPoints = []
}
"MkT"))
[ PParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 20 58 31
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 58 20 58 21
, SrcSpan "tests/examples/PatternSynonyms3.hs" 58 30 58 31
]
}
(PViewPat
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 21 58 30
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 58 23 58 25 ]
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 21 58 22
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 21 58 22
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 21 58 22
, srcInfoPoints = []
}
"f")))
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 26 58 30
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 26 58 30
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 26 58 30
, srcInfoPoints = []
}
"True"))
[]))
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 32 58 33
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 58 32 58 33
, srcInfoPoints = []
}
"x")
])
Unidirectional
, GDataDecl
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 60 1 63 0
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 60 8 60 13
, SrcSpan "tests/examples/PatternSynonyms3.hs" 61 5 61 5
, SrcSpan "tests/examples/PatternSynonyms3.hs" 63 1 63 0
]
}
(DataType
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 60 1 60 5
, srcInfoPoints = []
})
Nothing
(DHead
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 60 6 60 7
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 60 6 60 7
, srcInfoPoints = []
}
"T"))
Nothing
[ GadtDecl
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 5 61 33
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 61 9 61 11 ]
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 5 61 8
, srcInfoPoints = []
}
"MkT")
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 12 61 33
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 61 14 61 16 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 12 61 13
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 12 61 13
, srcInfoPoints = []
}
"b"))
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 17 61 33
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 61 29 61 31 ]
}
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 17 61 28
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 61 17 61 18
, SrcSpan "tests/examples/PatternSynonyms3.hs" 61 27 61 28
]
}
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 18 61 27
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 61 20 61 22 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 18 61 19
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 18 61 19
, srcInfoPoints = []
}
"b"))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 23 61 27
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 23 61 27
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 23 61 27
, srcInfoPoints = []
}
"Bool")))))
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 32 61 33
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 32 61 33
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 61 32 61 33
, srcInfoPoints = []
}
"T")))))
]
[]
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 1 63 25
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 63 1 63 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 63 15 63 17
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 9 63 14
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 9 63 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 9 63 10
, srcInfoPoints = []
}
"P"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 11 63 12
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 11 63 12
, srcInfoPoints = []
}
"x")
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 13 63 14
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 13 63 14
, srcInfoPoints = []
}
"f")
])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 18 63 25
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 18 63 21
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 18 63 21
, srcInfoPoints = []
}
"MkT"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 22 63 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 22 63 23
, srcInfoPoints = []
}
"x")
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 24 63 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 63 24 63 25
, srcInfoPoints = []
}
"f")
])
Unidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 65 1 65 24
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 65 1 65 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 65 18 65 20
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 65 9 65 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 65 9 65 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 65 9 65 15
, srcInfoPoints = []
}
"Single"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 65 16 65 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 65 16 65 17
, srcInfoPoints = []
}
"x")
])
(PList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 65 21 65 24
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 65 21 65 22
, SrcSpan "tests/examples/PatternSynonyms3.hs" 65 23 65 24
]
}
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 65 22 65 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 65 22 65 23
, srcInfoPoints = []
}
"x")
])
Unidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 1 67 23
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 67 1 67 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 67 11 67 13
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 9 67 10
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 9 67 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 9 67 10
, srcInfoPoints = []
}
"P"))
[])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 14 67 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 14 67 18
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 14 67 18
, srcInfoPoints = []
}
"Just"))
[ PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 19 67 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 19 67 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 67 19 67 23
, srcInfoPoints = []
}
"True"))
[]
])
Unidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 69 1 69 15
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 69 1 69 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 69 11 69 12
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 69 9 69 10
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 69 9 69 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 69 9 69 10
, srcInfoPoints = []
}
"P"))
[])
(PLit
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 69 13 69 15
, srcInfoPoints = []
}
(Signless
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 69 13 69 15
, srcInfoPoints = []
})
(Int
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 69 13 69 15
, srcInfoPoints = []
}
42
"42"))
ImplicitBidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 72 1 72 15
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 72 1 72 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 72 11 72 12
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 72 9 72 10
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 72 9 72 10
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 72 9 72 10
, srcInfoPoints = []
}
"P"))
[])
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 72 13 72 15
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 72 13 72 14
, SrcSpan "tests/examples/PatternSynonyms3.hs" 72 14 72 15
]
}
(Special
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 72 13 72 15
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 72 13 72 14
, SrcSpan "tests/examples/PatternSynonyms3.hs" 72 14 72 15
]
}
(UnitCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 72 13 72 15
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 72 13 72 14
, SrcSpan "tests/examples/PatternSynonyms3.hs" 72 14 72 15
]
}))
[])
ImplicitBidirectional
, PatSyn
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 75 1 75 24
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 75 1 75 8
, SrcSpan "tests/examples/PatternSynonyms3.hs" 75 18 75 20
]
}
(PApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 75 9 75 17
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 75 9 75 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 75 9 75 15
, srcInfoPoints = []
}
"Single"))
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 75 16 75 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 75 16 75 17
, srcInfoPoints = []
}
"x")
])
(PList
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 75 21 75 24
, srcInfoPoints =
[ SrcSpan "tests/examples/PatternSynonyms3.hs" 75 21 75 22
, SrcSpan "tests/examples/PatternSynonyms3.hs" 75 23 75 24
]
}
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 75 22 75 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/PatternSynonyms3.hs" 75 22 75 23
, srcInfoPoints = []
}
"x")
])
Unidirectional
]
, []
)