Futhark.LSP.Compile

Building blocks for "recompiling" (actually just type-checking) the Futhark program managed by the language server. The challenge here is that if the program becomes type-invalid, we want to keep the old state around.

Documentation

tryTakeStateFromIORef :: IORef State -> Maybe FilePath -> LspT () IO State

Try to take state from IORef, if it's empty, try to compile.

tryReCompile :: IORef State -> Maybe FilePath -> LspT () IO ()

Try to (re)-compile, replace old state if successful.