Where communities thrive

  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
  • Jan 24 20:20
    KingKnecht commented #80
  • Jan 24 20:19
    KingKnecht commented #80
  • Jan 23 22:52
    mixedCase commented #1293
  • Jan 23 22:52
    mixedCase edited #1293
  • Jan 23 22:50
    mixedCase edited #1293
  • Jan 23 16:50
    open-collective-bot[bot] commented #1294
  • Jan 23 16:50
    ScottHutchinson opened #1294
  • Jan 23 04:03
    baronfel commented #1293
  • Jan 23 00:57
    mixedCase opened #1293
  • Jan 21 19:48
    Krzysztof-Cieslak commented #1087
  • Jan 21 16:49
    eiriktsarpalis commented #1087
  • Jan 21 16:44
    Krzysztof-Cieslak labeled #1292
  • Jan 21 16:44
    Krzysztof-Cieslak labeled #1292
  • Jan 21 16:43
    Krzysztof-Cieslak labeled #1291
  • Jan 21 16:43
    Krzysztof-Cieslak labeled #1291
  • Jan 21 13:32
    nightroman commented #1041
  • Jan 21 12:56
    Krzysztof-Cieslak commented #1041
  • Jan 21 11:33
    nightroman commented #1041
  • Jan 20 21:43
    baronfel commented #1292
  • Jan 20 20:52
    Krzysztof-Cieslak commented #1292
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 'fsharp.scriptrunner.run' 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? https://i.imgur.com/AvbFDEg.png
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 https://cordova.apache.org/docs/en/latest/reference/cordova-plugin-file/index.html . 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
(i used native File plugin to write the file)

Anyone else having issues with ionide doing strange things to a projects fsproj file when doing simple things like adding files? Ionide does not simply add a single line but does things like this:

@@ -1,7 +1,7 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
-    <TargetFramework>netcoreapp2.0</TargetFramework>
+    <TargetFramework>netcoreapp2.0</TargetFramework>

Unfortunately, it regularly removes files from the project files that I need! Like nuspec files or other resources.

Hi everyone!
Can anybody tell how to fix this problem? This is *.fsx script and Visual Studio Code just underline every type
Chet Husk
@Kollego yes, this problem is tracked in ionide/ionide-vscode-fsharp#1215 and we're actively working it. In the meantime you can use an older version of ionide.
@baronfel thanks :)
Hello first i would like to ask if anyone would like to help me. I know this might seem dumb but I cant get ionide-fsharp to work. I am on windows and I have tried to install .NET Core 3.0 SDK but it did not work for me and now I am trying VS 2019 Build tools where I have installed ".NET desktop build tools " + F# compiler but I get errors along the lines of "you must add a reference to assembly 'netstandard'" and I don't get IntelliSense/code suggestions. How do you get going with F# on windows(I can get it to work on linux). I just want to use F# and VSCode with ionide-fsharp
Robin Munn
@SystemOut1324 It sounds like you've installed the right tools. How did you create your F# project? In VS Code? By cloning an existing project that works elsewhere? What I would suggest for a brand-new F# project is to use https://github.com/TheAngryByrd/MiniScaffold - run dotnet new -i MiniScaffold at a command prompt, then run dotnet new mini-scaffold --help to see options. Besides the options that every template has (-n for the name of your new project, and -o for the output folder you want to put it in if you don't want it put in your current directory), the MiniScaffold also has --outputType (or -ou for short) where you can select either console or library. Try creating a new project with dotnet new mini-scaffold -n Foo -o foo -ou console, then do cd foo followed by dotnet build and dotnet test. If that all works, then Ionide should also work. If any of those steps fails, then you have a starting point for troubleshooting your .NET Core setup.
Does anyone know how to use FSharp.Data typeproviders in vscode ionide works? I've been trying to get it to work in a .fsx file but I don't even understand how to use the #r to get the package into the script.
Andreas Vilinski
@muhammadHuzaifaSalman did you already tried FAKE? With it you can avoid the hassle with #r until it is properly implemented from Micro$oft. Do dotnet new fake and then add to the script the packages you need.
Trying to build Ionide on a Windows 10 Pro 64bit machine (without .Net Core 2.0 sdk installed, but with .Net Core 3.0 and 3.1 sdk), but got the above error. Anybody encountered the same issue? Any idea how to solve it?