ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 1 2 1
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 1 1 1
, SrcSpan "tests/examples/Rules.hs" 1 1 1 1
, SrcSpan "tests/examples/Rules.hs" 1 1 1 1
, SrcSpan "tests/examples/Rules.hs" 2 1 2 1
, SrcSpan "tests/examples/Rules.hs" 2 1 2 1
]
}
Nothing
[]
[]
[ RulePragmaDecl
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 1 1 105
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 1 1 10
, SrcSpan "tests/examples/Rules.hs" 1 102 1 105
]
}
[ Rule
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 11 1 101
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 11 1 23
, SrcSpan "tests/examples/Rules.hs" 1 24 1 30
, SrcSpan "tests/examples/Rules.hs" 1 61 1 62
, SrcSpan "tests/examples/Rules.hs" 1 78 1 79
]
}
"head/build"
Nothing
(Just
[ TypedRuleVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 31 1 60
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 31 1 32
, SrcSpan "tests/examples/Rules.hs" 1 33 1 35
, SrcSpan "tests/examples/Rules.hs" 1 59 1 60
]
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 32 1 33
, srcInfoPoints = []
}
"g")
(TyForall
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 35 1 59
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 35 1 41
, SrcSpan "tests/examples/Rules.hs" 1 43 1 44
]
}
(Just
[ UnkindedVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 42 1 43
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 42 1 43
, srcInfoPoints = []
}
"b")
])
Nothing
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 44 1 59
, srcInfoPoints = [ SrcSpan "tests/examples/Rules.hs" 1 53 1 55 ]
}
(TyParen
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 44 1 53
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 44 1 45
, SrcSpan "tests/examples/Rules.hs" 1 52 1 53
]
}
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 45 1 52
, srcInfoPoints = [ SrcSpan "tests/examples/Rules.hs" 1 46 1 48 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 45 1 46
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 45 1 46
, srcInfoPoints = []
}
"a"))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 48 1 52
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 49 1 51 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 48 1 49
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Rules.hs" 1 48 1 49
, srcInfoPoints = []
}
"b"))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 51 1 52
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/Rules.hs" 1 51 1 52
, srcInfoPoints = []
}
"b")))))
(TyFun
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 55 1 59
, srcInfoPoints = [ SrcSpan "tests/examples/Rules.hs" 1 56 1 58 ]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 55 1 56
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 55 1 56
, srcInfoPoints = []
}
"b"))
(TyVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 58 1 59
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 58 1 59
, srcInfoPoints = []
}
"b")))))
])
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 63 1 77
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 63 1 67
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 63 1 67
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 63 1 67
, srcInfoPoints = []
}
"head")))
(Paren
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 68 1 77
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 68 1 69
, SrcSpan "tests/examples/Rules.hs" 1 76 1 77
]
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 69 1 76
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 69 1 74
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 69 1 74
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 69 1 74
, srcInfoPoints = []
}
"build")))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 75 1 76
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 75 1 76
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 75 1 76
, srcInfoPoints = []
}
"g"))))))
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 80 1 101
, srcInfoPoints = []
}
(App
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 80 1 93
, srcInfoPoints = []
}
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 80 1 81
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 80 1 81
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 80 1 81
, srcInfoPoints = []
}
"g")))
(Paren
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 82 1 93
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 82 1 83
, SrcSpan "tests/examples/Rules.hs" 1 92 1 93
]
}
(Lambda
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 83 1 92
, srcInfoPoints =
[ SrcSpan "tests/examples/Rules.hs" 1 83 1 84
, SrcSpan "tests/examples/Rules.hs" 1 88 1 90
]
}
[ PVar
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 84 1 85
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 84 1 85
, srcInfoPoints = []
}
"x")
, PWildCard
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 86 1 87
, srcInfoPoints = []
}
]
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 91 1 92
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 91 1 92
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 91 1 92
, srcInfoPoints = []
}
"x"))))))
(Var
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 94 1 101
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 94 1 101
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan = SrcSpan "tests/examples/Rules.hs" 1 94 1 101
, srcInfoPoints = []
}
"badHead"))))
]
]
, []
)