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...
In visual studio code how do I get to FSI
... basic question
I'm getting the sense this is a forum for just questions....
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 ->
false
| _ -> 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?
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
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.
Ionide-fsharp is installed
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
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?
@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'll stick to Uno Platform then, does a great job, and renders on web (wasm) too.
Thanks for your response!
Hey.
I am trying to build and run ionide, however whenever I run the extension development host I get
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.
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?
