typed holes inferring very polymorphic types

[Sreenidhi Nair]

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20181001/6f840f2a/attachment.html>