<div dir="ltr"><div>Hello Sreenidhi,</div><div><br></div><div>This looks like a valid Trac ticket to me. Maybe, open one?</div><div><br></div><div>--</div><div>Best, Artem<br></div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, 1 Oct 2018 at 13:25 Sreenidhi Nair <<a href="mailto:nair.sreenidhi@gmail.com">nair.sreenidhi@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>