You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Autoimport doesn't work until I import something it doesn't appear in autocompletion, also for rust coq doesn't create use statements i.e. if I write HashMap it should add use std::collections::HashMap, idk what causes it...
i remember this working before, but i'm also experiencing this issue now.
i'm trying to bisect previous commits in order to figure out where the bug was introduced, but i can't COQdeps before july due to a forced time-based setuptools deprecation.
i'm honestly more pissed at setuptools right now than coq lol!
Autoimport doesn't work until I import something it doesn't appear in autocompletion, also for rust coq doesn't create
use
statements i.e. if I writeHashMap
it should adduse std::collections::HashMap
, idk what causes it...examples with rust and typescript):
examples.mp4
init.lua
settings
The text was updated successfully, but these errors were encountered: