haskell-src-exts-1.18.0: tests/examples/FlexibleContextsWithoutVars.hs.parser.golden
ParseOk
( Module
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 4 1
, srcInfoPoints =
[ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 1 1
, SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 1
, SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 1
, SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 1
, SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 1
, SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 4 1 4 1
, SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 4 1 4 1
]
}
Nothing
[ LanguagePragma
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 1 34
, srcInfoPoints =
[ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 1 13
, SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 31 1 34
]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 14 1 30
, srcInfoPoints = []
}
"FlexibleContexts"
]
]
[]
[ TypeSig
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 25
, srcInfoPoints =
[ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 3 2 5 ]
}
[ Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 2
, srcInfoPoints = []
}
"f"
]
(TyForall
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 25
, srcInfoPoints = []
}
Nothing
(Just
(CxSingle
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 18
, srcInfoPoints =
[ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 16 2 18
]
}
(ClassA
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 18
, srcInfoPoints =
[ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 16 2 18
]
}
(Qual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 15
, srcInfoPoints = []
}
(ModuleName
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 15
, srcInfoPoints = []
}
"Log")
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 15
, srcInfoPoints = []
}
"Stack"))
[])))
(TyFun
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 19 2 25
, srcInfoPoints =
[ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 21 2 23
]
}
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 19 2 20
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 19 2 20
, srcInfoPoints = []
}
"a"))
(TyVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 24 2 25
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 24 2 25
, srcInfoPoints = []
}
"a"))))
, PatBind
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 7
, srcInfoPoints = []
}
(PVar
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 2
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 2
, srcInfoPoints = []
}
"f"))
(UnGuardedRhs
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 3 3 7
, srcInfoPoints =
[ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 3 3 4 ]
}
(Var
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 5 3 7
, srcInfoPoints = []
}
(UnQual
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 5 3 7
, srcInfoPoints = []
}
(Ident
SrcSpanInfo
{ srcInfoSpan =
SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 5 3 7
, srcInfoPoints = []
}
"id"))))
Nothing
]
, []
)