<div dir="ltr">Hello Matthew,<div><br></div><div>During the time I have already figured the problem out. My original thought is to log the errors from code to some file. Later I did find a function being able to collect the diagnostics. </div><div><br></div><div>On the other hand, I'm new to the mailing list, and after I asked the question I have further understood what the list is for. I think that my question should be not suitable for the list, and sorry for that.</div><div><br></div><div>Guanda</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Matthew Pickering <<a href="mailto:matthewtpickering@gmail.com">matthewtpickering@gmail.com</a>> 于2021年8月2日周一 上午4:04写道：<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Gunda,<br>
<br>
Could you be a bit more precise about what you want to achieve? HLS<br>
already displays type errors in your program, perhaps it would be<br>
better to ask someone on the HLS issue tracker how to use their API to<br>
do what you want.<br>
<br>
Matt<br>
<br>
On Fri, Jul 30, 2021 at 7:03 PM Guanda Yuan <<a href="mailto:guandayuan0715@gmail.com" target="_blank">guandayuan0715@gmail.com</a>> wrote:<br>
><br>
> Hello all,<br>
><br>
> I want to write a plugin for Haskell Language Server, to collect type errors in the code. I'm new to GHC API, so I need some help. My current thought is, I can collect diagnostics or the error messages and extract the type error infos. I have tried to referred to the Haddock documentation for GHC API, but I'm still not sure which function should I use.<br>
><br>
> Thanks,<br>
> Guanda<br>
> _______________________________________________<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>