search

flix / vscode-flix

Apache License 2.0
20 stars 19 forks source link

Update sometimes triggers error #379

Closed magnus-madsen closed 3 months ago

magnus-madsen commented 3 months ago

When I updated Flix, I got the following error:

image

I cannot always reproduce it, but the closest I have got is to delete User\globalStorage\flix.flix and restart vscode.

magnus-madsen commented 3 months ago

@sockmaster27 I think the code path thats starts the REPL has to ensure that the compiler has already been downloaded.