ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 1 5 1
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 1 1 1 1
, SrcSpan "tests/examples/SpecializeInstance.hs" 1 1 1 1
, SrcSpan "tests/examples/SpecializeInstance.hs" 1 1 1 1
, SrcSpan "tests/examples/SpecializeInstance.hs" 5 1 5 1
, SrcSpan "tests/examples/SpecializeInstance.hs" 5 1 5 1
]
}
Nothing
[]
[]
[ InstDecl
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 1 5 0
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 1 1 1 9
, SrcSpan "tests/examples/SpecializeInstance.hs" 1 37 1 42
, SrcSpan "tests/examples/SpecializeInstance.hs" 2 8 2 8
, SrcSpan "tests/examples/SpecializeInstance.hs" 3 8 3 8
, SrcSpan "tests/examples/SpecializeInstance.hs" 4 8 4 8
, SrcSpan "tests/examples/SpecializeInstance.hs" 5 1 5 0
]
}
Nothing
(IRule
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 10 1 36
, srcInfoPoints = []
}
Nothing
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 10 1 20
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 1 18 1 20 ]
}
(ClassA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 10 1 20
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 1 18 1 20 ]
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 10 1 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 10 1 15
, srcInfoPoints = []
}
"Sized"))
[ TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 16 1 17
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 16 1 17
, srcInfoPoints = []
}
"a")
])))
(IHApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 21 1 36
, srcInfoPoints = []
}
(IHCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 21 1 26
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 21 1 26
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 21 1 26
, srcInfoPoints = []
}
"Sized")))
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 27 1 36
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 1 27 1 28
, SrcSpan "tests/examples/SpecializeInstance.hs" 1 35 1 36
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 28 1 35
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 28 1 33
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 28 1 33
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 28 1 33
, srcInfoPoints = []
}
"Digit")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 34 1 35
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 1 34 1 35
, srcInfoPoints = []
}
"a"))))))
(Just
[ InsDecl
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 8 2 58
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 2 8 2 22
, SrcSpan "tests/examples/SpecializeInstance.hs" 2 23 2 31
, SrcSpan "tests/examples/SpecializeInstance.hs" 2 55 2 58
]
}
(InstSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 8 2 58
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 2 8 2 22
, SrcSpan "tests/examples/SpecializeInstance.hs" 2 23 2 31
, SrcSpan "tests/examples/SpecializeInstance.hs" 2 55 2 58
]
}
(IRule
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 32 2 54
, srcInfoPoints = []
}
Nothing
Nothing
(IHApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 32 2 54
, srcInfoPoints = []
}
(IHCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 32 2 37
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 32 2 37
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 32 2 37
, srcInfoPoints = []
}
"Sized")))
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 38 2 54
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 2 38 2 39
, SrcSpan "tests/examples/SpecializeInstance.hs" 2 53 2 54
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 39 2 53
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 39 2 44
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 39 2 44
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 2 39 2 44
, srcInfoPoints = []
}
"Digit")))
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 45 2 53
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 2 45 2 46
, SrcSpan "tests/examples/SpecializeInstance.hs" 2 52 2 53
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 2 46 2 52
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 2 46 2 50
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 2 46 2 50
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
2
46
2
50
, srcInfoPoints = []
}
"Elem")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 2 51 2 52
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 2 51 2 52
, srcInfoPoints = []
}
"a")))))))))
, InsDecl
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 8 3 58
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 3 8 3 22
, SrcSpan "tests/examples/SpecializeInstance.hs" 3 23 3 31
, SrcSpan "tests/examples/SpecializeInstance.hs" 3 55 3 58
]
}
(InstSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 8 3 58
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 3 8 3 22
, SrcSpan "tests/examples/SpecializeInstance.hs" 3 23 3 31
, SrcSpan "tests/examples/SpecializeInstance.hs" 3 55 3 58
]
}
(IRule
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 32 3 54
, srcInfoPoints = []
}
Nothing
Nothing
(IHApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 32 3 54
, srcInfoPoints = []
}
(IHCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 32 3 37
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 32 3 37
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 32 3 37
, srcInfoPoints = []
}
"Sized")))
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 38 3 54
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 3 38 3 39
, SrcSpan "tests/examples/SpecializeInstance.hs" 3 53 3 54
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 39 3 53
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 39 3 44
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 39 3 44
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 3 39 3 44
, srcInfoPoints = []
}
"Digit")))
(TyParen
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 45 3 53
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 3 45 3 46
, SrcSpan "tests/examples/SpecializeInstance.hs" 3 52 3 53
]
}
(TyApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 3 46 3 52
, srcInfoPoints = []
}
(TyCon
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 3 46 3 50
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 3 46 3 50
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
3
46
3
50
, srcInfoPoints = []
}
"Node")))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 3 51 3 52
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 3 51 3 52
, srcInfoPoints = []
}
"a")))))))))
, InsDecl
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 8 4 50
, srcInfoPoints = []
}
(FunBind
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 8 4 50
, srcInfoPoints = []
}
[ Match
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 8 4 50
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 8 4 12
, srcInfoPoints = []
}
"size")
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 13 4 15
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 13 4 15
, srcInfoPoints = []
}
"xs")
]
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 16 4 50
, srcInfoPoints =
[ SrcSpan "tests/examples/SpecializeInstance.hs" 4 16 4 17 ]
}
(App
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 18 4 50
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 18 4 47
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 18 4 45
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 4 18 4 23
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 4 18 4 23
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
18
4
23
, srcInfoPoints = []
}
"foldl")))
(Paren
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 4 24 4 45
, srcInfoPoints =
[ SrcSpan
"tests/examples/SpecializeInstance.hs" 4 24 4 25
, SrcSpan
"tests/examples/SpecializeInstance.hs" 4 44 4 45
]
}
(Lambda
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 4 25 4 44
, srcInfoPoints =
[ SrcSpan
"tests/examples/SpecializeInstance.hs" 4 25 4 26
, SrcSpan
"tests/examples/SpecializeInstance.hs" 4 31 4 33
]
}
[ PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
27
4
28
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
27
4
28
, srcInfoPoints = []
}
"i")
, PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
29
4
30
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
29
4
30
, srcInfoPoints = []
}
"x")
]
(InfixApp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
34
4
44
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
34
4
35
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
34
4
35
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
34
4
35
, srcInfoPoints = []
}
"i")))
(QVarOp
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
36
4
37
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
36
4
37
, srcInfoPoints = []
}
(Symbol
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
36
4
37
, srcInfoPoints = []
}
"+")))
(App
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
38
4
44
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
38
4
42
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
38
4
42
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
38
4
42
, srcInfoPoints = []
}
"size")))
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
43
4
44
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
43
4
44
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs"
4
43
4
44
, srcInfoPoints = []
}
"x"))))))))
(Lit
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 46 4 47
, srcInfoPoints = []
}
(Int
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 4 46 4 47
, srcInfoPoints = []
}
0
"0")))
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 48 4 50
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/SpecializeInstance.hs" 4 48 4 50
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan
"tests/examples/SpecializeInstance.hs" 4 48 4 50
, srcInfoPoints = []
}
"xs")))))
Nothing
])
])
]
, []
)