Conversation
|
Can you show a screenshot of how it look? |
|
This is much closer to what I had in mind. I still want to iterate a bit to see if we can do better. |
| return `// Error: Flix jar file not found at: ${jarPath}` | ||
| } | ||
|
|
||
| const zip = new AdmZip(jarPath) |
There was a problem hiding this comment.
Here your strategy is to extract the source code from the jar.
But an alternative would be this:
We add a new command to VSCodeLspServer called "GetSource(name)".
VSCodeLspServer has access to TypedAst.Root which has a field sources: Map[Source, SourceLocation]
From this we can extract the source code of any file loaded into the compiler by other means than the IDE (e.g. from the std lib or from packages)
There was a problem hiding this comment.
This is an alternative, if we cannot get VSCode to load a file from inside a zip (maybe thats not yet possible as the ticket seems to suggest??)
2 participants
No description provided.