search

Julian / lean.nvim

Neovim support for the Lean theorem prover
MIT License
277 stars 26 forks source link

Better error handling in infoview #141

Closed gebner closed 3 years ago

gebner commented 3 years ago

The Lean 3 widget implementation had some issues (tried to serialize a lua function as json). This caused neovim to raise an exception, which was not handled. Due to the exception the lock in the tick remained locked and prevented further updates, causing the infoview to hang.

This PR fixes the function serialization issue and disables the locking in the ticks because I didn't find a reliable way to handle these fatal errors.

Julian commented 3 years ago

Two more checked off from #139 sounds like :) -- thanks again! LGTM.