fix overload resolution error

ionide · Jul 2, 2023 · c04b0ab · c04b0ab
1 parent c877021
commit c04b0ab
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/Components/Fsi.fs b/src/Components/Fsi.fs
@@ -429,8 +429,9 @@ module Fsi =
                     window.showErrorMessage ("Unable to spawn FSI") |> ignore
 
                     failwith "unable to spawn FSI"
-
-            let terminal = window.createTerminal !!profile.options
+            // this coercion could be to either type - TerminalOptions _or_ ExtensionTerminalOptions
+            // we don't actually care here so I picked the first Case on the U2 here.
+            let terminal = window.createTerminal (!!profile.options : TerminalOptions)
 
             // Wait for the new terminal to be ready
             let! newTerminal =