Closed ZenVoich closed 1 year ago
This is awesome! Thank you for the contribution!
After some further testing, I've noticed that mopsAdd()
sometimes doesn't add the package to the mops.toml
config, although the package is installed in the .mops
directory as expected. Based on the extension logs, this seems to be caused by the language server crashing (unfortunately without a readable error message).
I'll let you know if I come across any other useful debugging information, and thanks again for this PR!
Search, install and import packages from Mops.
v
After package select, adds package to
mops.toml
. If active file is*.mo
- adds import line.Also now new package import added after the latest import of the same package, or after latest "mo:..." import.
For example:
add
Map
import frommap
package:add
Trie
import frombase
package: