Hello,

We tried the following code with ghc-8.6.1

testFailure :: Char
testFailure =
let x = Prelude.id _
in x

which gave the following suggestion

/home/sreenidhi/Work/typeql/typeql-dbrecord/test/Test/Database/Postgres/Read/Combinator.hs:83:22: error:
    • Found hole: _ :: a
      Where: ‘a’ is a rigid type variable bound by
               the inferred type of x :: a
               at /home/sreenidhi/Work/typeql/typeql-dbrecord/test/Test/Database/Postgres/Read/Combinator.hs:83:7-22

And then this

testSuccess :: Char
testSuccess = _

which gave a much better suggestion

/home/sreenidhi/Work/typeql/typeql-dbrecord/test/Test/Database/Postgres/Read/Combinator.hs:87:15: error:
    • Found hole: _ :: Char
    • In the expression: _
      In an equation for ‘testSuccess’: testSuccess = _

Is there any way to get better suggestions with 'let' version?