Language server based on LSP #20
Conversation
| }) | ||
| } | ||
|
|
||
| def startStageProcess(fileToVerify: String): Option[String] = { |
There was a problem hiding this comment.
Ideally, we do not need the concept of stages anymore as it is obsolete. Can we easily carve out all the code that is related to this feature?
There was a problem hiding this comment.
Yes. this is something that should reworked in conjunction with the settings. I have now removed all the code that relates to this concept.
| } | ||
| } | ||
|
|
||
| // private def startVerificationTimeout(verificationCount: Int) = { |
There was a problem hiding this comment.
What is the plan for this? Ideally, we shouldn't have any code that is commented out without explanations.
There was a problem hiding this comment.
No longer needed.
| import scala.collection.mutable | ||
| import scala.collection.mutable.ArrayBuffer | ||
|
|
||
| object Coordinator { |
There was a problem hiding this comment.
I don't remember reading about this concept in your thesis. Is it described somewhere?
There was a problem hiding this comment.
Yes, it is descibed in a sub-section of the Language server chapter. (1.3.3. in the draft version)
No description provided.