Failures:
test/Main.hs:306:15:
1) hiedb, Command line, point-info, correctly prints type signatures
expected: Span: test/data/Module1.hs:10:8-11
Constructors: {(XExpr, HsExpr), (HsVar, HsExpr)}
Identifiers:
Symbol:v:even:GHC.Real:base
even defined at <no location info>
Details: Just forall a. Integral a => a -> Bool {usage}
$dIntegral defined at <no location info>
Details: Just Integral Int {usage of evidence variable}
Types:
Int -> Bool
forall a. Integral a => a -> Bool
but got: Span: test/data/Module1.hs:10:8-11
Constructors: {(HsVar, HsExpr), (XExpr, HsExpr)}
Identifiers:
$dIntegral defined at <no location info>
Details: Just Integral Int {usage of evidence variable}
Symbol:v:even:GHC.Real:base
even defined at <no location info>
Details: Just forall a. Integral a => a -> Bool {usage}
Types:
Int -> Bool
forall a. Integral a => a -> Bool
To rerun use: --match "/hiedb/Command line/point-info/correctly prints type signatures/" --seed 1721432215
Randomized with seed 1721432215