Where communities thrive

  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
  • 12:06
    ronaldschlenker commented #1412
  • 09:20
    open-collective-bot[bot] commented #1422
  • 09:20
    raghur opened #1422
  • Sep 25 14:36
    Krzysztof-Cieslak closed #1421
  • Sep 25 14:36
    Krzysztof-Cieslak commented #1421
  • Sep 25 12:21
    isaacabraham commented #1412
  • Sep 25 08:30
    MangelMaxime commented #1421
  • Sep 25 08:10
    open-collective-bot[bot] commented #1421
  • Sep 25 08:10
    tonyx opened #1421
  • Sep 23 01:56
    clindholm commented #1073
  • Sep 23 00:49
    cannorin commented #1073
  • Sep 22 22:14
    clindholm commented #1073
  • Sep 22 22:13
    clindholm commented #1073
  • Sep 22 22:13
    clindholm commented #1073
  • Sep 20 22:57
    ericsampson commented #1305
  • Sep 20 21:03
    faldor20 commented #1417
  • Sep 20 20:53
    faldor20 commented #1417
  • Sep 20 18:42
    Krzysztof-Cieslak commented #1305
  • Sep 20 18:40
    ericsampson commented #1305
  • Sep 20 18:17
    Krzysztof-Cieslak edited #1305
Dan Liebgold
what’s the way to have ionide use my FAKE build script?
Dan Liebgold
oooh I’m using FAKE 5 … it’s not supported?
Is there a way to improve speed of Ionide 'intellisense' ? E.g. switch it to use multiple cores etc?
@Danl2620 I'm having the same problem! Stuck on "Build Started"
Leo Cavalcante
I'm not getting auto-completion on .fsx files :/ If I just open a .fsx it should complete? What would a minimal setup? Should I have a .fsproj? What should be it's contents?
Vern DeHaven
Hi all. I have a beginner question about getting Ionide-Paket 1.12.0 working with the Paket dotnet global tool 5.196.2 and VS Code 1.30.2 on Mac OSX 10.14. Though ~/.dotnet/tools is on the PATH and I can directly execute ~/.dotnet/tools/paket, Ionide-Paket does neither sees it nor any possible internal copy. I'm sure I'm missing something simple...
Rasheed Gudal
Hi guys quick question
In visual studio code how do I get to FSI
... basic question
Githin George
Highlight the code and alt + enter
Schalk Dormehl
Guys, I am BLOWN AWAY with Ionide, what a pleasant surprise!
Thank you so much for building it!
Schalk Dormehl
Hey folks,
I'm having trouble installing nuget packages in my Ionide project.
They install, but I can't seem to reference them from my .fs files.
Any help would be greatly appreciated.
Dan Liebgold
Hi, is there a way to disable ionide for a particular .fsx file? My entire file is red squiggles
Dan Liebgold
Failing that, has anyone devised a degraded mode to run Ionide in (when it's unable to build the project properly for whatever reason)? Or a step-by-step diagnostics that points to project build issues? I've been unable to get much useful from the listed ways...
I'm getting the sense this is a forum for just questions....
Andreas Vilinski
Exited about support of anon records. But I thing theres a bug:
type Ticket =
    | Timeout of DateTime
    | LimitViolation of
        {| IsUpper : bool
           Limit : double
           Current : double
           Unit : string
let isCloseable v =
    v.IsUpper        && v.Current > v.Limit ||
    v.IsUpper |> not && v.Current < v.Limit
let close ticket =
    | LimitViolation v when isCloseable v ->
    | _ -> true
here close function has no problems, but isCloseable has a problem when the type isn't set explicitely. Shouldn't it be infered from usage? Is it expected behavior or just quirk in FSAC?
Chet Husk
no that makes sense to me, as a general F# rule
member access like that requires the type to be inferred, and inferences can only happen from functions
you need to annotate isCloseable like so: let isCloseable (v: {| IsUpper: bool; Current: double; Limit: double |}) in order to use it
alternatively, if you had functions like let isUpper (v: {| IsUpper: bool |}) = v.IsUpper you could use the function in isCloseable and that would help isClosable infer that it needs a parameter with the IsUpper property
this is all just normal F# inference rules
@Danl2620 you've not really given any actionable information here. If you for example post what is shown when you right-click on a failing project and click 'Show Project Info`, that might help spur some discussion
Andreas Vilinski
@baronfel yes, thanks, I know how to annotate the parameter. But still don't get intuition why I get isCloseable as 'a -> bool where 'a is {| ... |} instead of just{| ... |} -> bool where if I define a "normal" record the compiler infers fully correct MyRecord -> bool

Hi all. I am getting a, ionide-fsharp Project parsing failed: MyApp.Library.fsproj. The project is the quick start WPF F# only VSCode tutorial. Both the library and client project have this issue which prevents them from loading. Their status becomes, failed to load, with the error, The system cannot find the file specified.

Any help would be appreciated. Thanks in advance.

Hello guys, I can't seem to run F# from Visual Studio Code. When I try to run the main class, I get the error "command '' not found"
Ionide-fsharp is installed
Arthur Borisow
Hi all! I am trying to use ionide to navigate to code of the dependent libraries. I built a blank suave project and when I try to go to definition of application it says Unable to open 'D:\Programowanie\Projekty\Saturn\Saturn\src\Saturn\Application.fs' though I am on mac and don't have such dirs at all. Could anhone please help with that? I am using experimental ionide and dotnet core 3.0.100-preview5-011568
Why does ionide steal the focus every time it loads? I see no benefit and many drawbacks.
I see this can be disabled, imo disabled by default makes more sense
Sandeep Chandra
I got latest update for ionide and I am getting error
workbench.main.js:2379 System.TypeInitializationException: The type initializer for 'Microsoft.Data.Sqlite.SqliteConnection' threw an exception. ---> System.Reflection.TargetInvocationException: Exception has been thrown by the target of an invocation. ---> System.DllNotFoundException: Unable to load DLL 'e_sqlite3': The specified module could not be found. (Exception from HRESULT: 0x8007007E)    at SQLitePCL.SQLite3Provider_e_sqlite3.NativeMethods.sqlite3_libversion_number()    at SQLitePCL.raw.SetProvider(ISQLite3Provider imp)    --- End of inner exception stack trace ---    at System.RuntimeMethodHandle.InvokeMethod(Object target, Object[] arguments, Signature sig, Boolean constructor)    at System.Reflection.RuntimeMethodInfo.UnsafeInvokeInternal(Object obj, Object[] parameters, Object[] arguments)    at System.Reflection.RuntimeMethodInfo.Invoke(Object obj, BindingFlags invokeAttr, Binder binder, Object[] parameters, CultureInfo culture)    at Microsoft.Data.Sqlite.Utilities.BundleInitializer.Ini...
This is on Windows 10.
I have also tried removing folder ionide.ionide-paket-1.12.0 in .vscode\extensions\
and that didn't help
Does anyone know why this binary file would get generated?
D.J. Lawhead
Would anyone know why the VS Code extension errors out with "failed to spawn FSI, please ensure it's in PATH?" I am missing something.
Hi folks! Can you build F# cross platform UIs with F#? Is there an end-to-end UI environment that will render everywhere with F#?
Matthew Moloney
@weitzhandler Avalonia?
I see.
@moloneymb Nothing that F# people have tried that works I guess.
I'll stick to Uno Platform then, does a great job, and renders on web (wasm) too.
Thanks for your response!
I am trying to build and run ionide, however whenever I run the extension development host I get The F# server crashed 5 times in the last 3 minutes. The server will not be restarted.. Is there additional configuration required to get FSAC to work in dev. The docs for contributing seems to be out of date.
Daniel Guldberg Aaes
Hi guys.I I use Ionide togheter with vs code on linux, however it is not always that the types are shown?
and I cannot figure out what is causing this, is it a known bug?
Bruno Cadorette
Hello! Is the .ionide folder safe to add in the gitignore? Right now all I have is the symbolCache.db file
Alexander Prooks
hi, yes it should be gitignored
Bruno Cadorette
Bruno Cadorette
Is there a way of removing all unused open in every files of my project? I can only do it one at a time
Nicolas EL HAYEK
hi everyone i made a donwload service in my ionic application but i got a problem when i use it in ios, The tuto i used is here . When i try to download file in ios i have a success status but
no file is present in directory. (The services work in android). Can i have some help pls thanks