We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 10e7471 commit 3f9cf1bCopy full SHA for 3f9cf1b
src/Components/Fsi.fs
@@ -358,10 +358,13 @@ module Fsi =
358
let addWatcher = "FSharp.addFsiWatcher" |> Configuration.get false
359
360
let parms: string array =
361
+ let getOptionalArray key : string[] option = Configuration.get None key
362
+
363
let fsiParams =
364
Array.append
- (Configuration.get None "FSharp.fsiExtraParameters" |> Option.toArray)
- (Configuration.get None "FSharp.FSIExtraInteractiveParameters" |> Option.toArray)
365
+ (getOptionalArray "FSharp.fsiExtraParameters" |> Option.defaultValue [||])
366
+ (getOptionalArray "FSharp.FSIExtraInteractiveParameters"
367
+ |> Option.defaultValue [||])
368
|> Array.toList
369
370
let p =
0 commit comments