Use {exit()} as dummy value when doing completions. Better because it has bottom type and causes the surrounding expression to type check correctly every time!
Use {exit()} as dummy value when doing completions. Better because it has bottom type and causes the surrounding expression to type check correctly every time!

tensory/ensime.github.io,tensory/ensime.github.io,tensory/ensime.github.io,tensory/ensime.github.io