Ruslan Φ.
Ruslan Φ.
# Steps to Reproduce ```Haskell %default total trythis : (mb : Maybe Bool) -> mb === Just True -> Void trythis Nothing ab = absurd ab boom : Void boom...
The initial goal of this proposal was to fix #965 which originates from Idris 1 (as far as I can recall) and was further exacerbated by #820. It also (potentially)...
The logic to guess the absolute path of the file of a name-at response is no longer needed, because the latter lands with absolute file names, due to [idris-lang/Idris2#1531](https://github.com/idris-lang/Idris2/pull/1531).
E.g. Highlighting a selection of just one unicode symbol actually highlights nothing
Scala metals installs a plugin to the workspace automatically. Once installed and the project uses guardrail I get: ``` ERROR java.lang.NoClassDefFoundError: scala/meta/internal/trees/Syntactic$Term$Apply$ ``` when trying to compile the project Full...