
<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Hello, <br></div><div><br></div><div>We tried the following code with ghc-8.6.1<br></div><div><br></div><div>testFailure :: Char<br>testFailure =<br>Â  let x = Prelude.id _<br>Â  inÂ  x</div></div><div dir="ltr"><br></div><div>which gave the following suggestion </div><div><br></div><div dir="ltr">/home/sreenidhi/Work/typeql/typeql-dbrecord/test/Test/Database/Postgres/Read/Combinator.hs:83:22: error:<br>Â Â Â  â€¢ Found hole: _ :: a<br>Â Â Â Â Â  Where: â€˜aâ€™ is a rigid type variable bound by<br>Â Â Â Â Â Â Â Â Â Â Â Â Â Â  the inferred type of x :: a<br>Â Â Â Â Â Â Â Â Â Â Â Â Â Â  at /home/sreenidhi/Work/typeql/typeql-dbrecord/test/Test/Database/Postgres/Read/Combinator.hs:83:7-22<br></div><div dir="ltr"><br><div>And then this</div><div><br></div><div>testSuccess :: Char<br>testSuccess = _</div><div><br></div><div>which gave a much better suggestion</div><div><br></div><div>/home/sreenidhi/Work/typeql/typeql-dbrecord/test/Test/Database/Postgres/Read/Combinator.hs:87:15: error:<br>Â Â Â  â€¢ Found hole: _ :: Char<br>Â Â Â  â€¢ In the expression: _<br>Â Â Â Â Â  In an equation for â€˜testSuccessâ€™: testSuccess = _<br></div><div><br></div><div>Is there any way to get better suggestions with 'let' version? <br></div><div><br></div><div><br></div><div><br></div></div></div></div></div></div>