search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
169 stars 39 forks source link

Properly handle GetOs #92

Closed ThePuzzlemaker closed 2 years ago

ThePuzzlemaker commented 2 years ago

The GetOs ReScript bindings did not properly handle errors, and thus were not able to get the OS at all, causing a null type error.

I'm not sure how idiomatic this is--I don't use ReScript, but from my testing it works.

This fixes #91 and maybe #86.

banacorn commented 2 years ago

Thank you so much!! <3