Stream: t-compiler/wg-rls-2.0

Topic: good exit status on chalk errors


matthiaskrgr (Feb 13 2020 at 13:51, on Zulip):

is it intentional that there is no bad exit status when chalk throws errors inside ra (but ra continues execution)?

matklad (Feb 13 2020 at 13:52, on Zulip):

Yes, we catch_unwind around chalk and just assume that the trait is not implemented

matklad (Feb 13 2020 at 13:52, on Zulip):

That way, the language server does not restart if you are too clever with generic bounds :)

matthiaskrgr (Feb 13 2020 at 13:52, on Zulip):

ok :thumbs_up:

matklad (Feb 13 2020 at 13:52, on Zulip):

It probably makes sense to add a flag to make this fatal, for batch processing, for example

Last update: Feb 25 2020 at 04:20UTC