meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
59 stars 10 forks source link

Return when resolving futures #60

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

This came up while investigating a — I believe — unrelated issue around hovering. I noticed when watching the debug logs for hover that it was being very noisy. This is because when the subject of the hover wasn't valid, I was resolving the Promise early, but not returning early, so it would still make the call to the ide process. I don't believe this was enough to cause serious lag, but it's still undesirable.

meraymond2 commented 3 years ago

There is another issue that I noticed here, where the type-at is returning completely wrong answers.

<< 00001c((:type-of "cast" 41 12) 7)
>> (:return (:ok "i : Nat") 7)