Open isaacabraham opened 5 years ago
Hey @isaacabraham :wave:,
Thank you for opening an issue. We will get back to you as soon as we can. Also, check out our OpenCollective and consider backing us.
https://opencollective.com/ionide
PS.: We offer
backer
support for all backers. Don't forget to addbacker
label when you start backing us :smile:
Repro steps:
dotnet new console -lang F#
.Program.fs
:open Saturn
let app = application {
no_router
}
run app
Obviously the type checker at this point doesn't know anything and it's all obj
- completely expected.
Paket init
.
Create a dependencies file as so:
source https://www.nuget.org/api/v2
storage: none
framework: auto-detect
nuget Saturn
Add paket.references file Saturn
Run paket install
Sometimes I see this:
or still just obj
.
However sometimes after pressing any key and modifying the code file, code lens will refresh itself correctly:
I thought this might be a paket thing but it also happens if I use native Nuget.
If I do a
paket install
from the command line which adds a new dependency, Ionide gets confused: all tooltips die and intellisense dies, and the hints above symbols get replaced with errors:As soon as you type something, it magically goes away. HOWEVER, the newly added dependency still does not show up until you manually run
dotnet restore
and restart Code.