Skip to content

Commit 848745d

Browse files
committed
[ fix ] Skip make case testings on Windows due to CI issues
1 parent af81da1 commit 848745d

File tree

11 files changed

+164
-116
lines changed

11 files changed

+164
-116
lines changed

lib/js/src/Connection/Connection.bs.js

Lines changed: 13 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

lib/js/src/Registry.bs.js

Lines changed: 14 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

lib/js/test/tests/Test__CaseSplit.bs.js

Lines changed: 28 additions & 23 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

lib/js/test/tests/Test__ComputeNormalForm.bs.js

Lines changed: 15 additions & 8 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

lib/js/test/tests/Test__Util.bs.js

Lines changed: 15 additions & 18 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src/Connection/Connection.res

Lines changed: 13 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -232,10 +232,20 @@ module Module: Module = {
232232
| Error(platform) => Error(Error.Establish.fromDownloadError(PlatformNotSupported(platform)))
233233
| Ok(platform) =>
234234
// Check download policy
235-
let policy = switch Config.Connection.DownloadPolicy.get() {
236-
| Undecided => await PlatformOps.askUserAboutDownloadPolicy()
237-
| policy => policy
235+
Js.Console.log("Connection: Checking download policy")
236+
let currentPolicy = Config.Connection.DownloadPolicy.get()
237+
Js.Console.log2("Connection: Current download policy:", currentPolicy)
238+
let policy = switch currentPolicy {
239+
| Undecided =>
240+
Js.Console.log("Connection: Policy is Undecided, asking user about download policy")
241+
let userPolicy = await PlatformOps.askUserAboutDownloadPolicy()
242+
Js.Console.log2("Connection: User responded with policy:", userPolicy)
243+
userPolicy
244+
| policy =>
245+
Js.Console.log2("Connection: Using existing policy:", policy)
246+
policy
238247
}
248+
Js.Console.log2("Connection: Final download policy:", policy)
239249

240250
switch policy {
241251
| Config.Connection.DownloadPolicy.Undecided =>

src/Registry.res

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -49,19 +49,28 @@ module Module: {
4949

5050
// Adds an instantiated State to the Registry
5151
let add = (fileName, state: State.t) => {
52+
Js.Console.log2("Registry.add: Adding fileName:", fileName)
53+
Js.Console.log2("Registry.add: state.document.fileName:", state.document->VSCode.TextDocument.fileName)
5254
switch getEntry(fileName) {
5355
| None =>
56+
Js.Console.log("Registry.add: Entry not found, creating new one")
5457
// entry not found, create a new one
5558
let entry = Entry.make(Some(state))
5659
dict->Dict.set(fileName, entry)
60+
Js.Console.log("Registry.add: New entry created and set")
5761
| Some(entry) =>
62+
Js.Console.log("Registry.add: Entry found, updating")
5863
switch entry.state {
59-
| Some(state) => entry.state = Some(state) // update the state
64+
| Some(state) =>
65+
Js.Console.log("Registry.add: Updating existing state")
66+
entry.state = Some(state) // update the state
6067
| None =>
68+
Js.Console.log("Registry.add: Entry has no state, creating new entry")
6169
let newEntry = Entry.make(Some(state))
6270
dict->Dict.set(fileName, newEntry)
6371
}
6472
}
73+
Js.Console.log2("Registry.add: Completed for fileName:", fileName)
6574
}
6675

6776
// Removes the entry (but without triggering State.destroy() )

src/State/State__View.res

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -69,18 +69,21 @@ module Panel: Panel = {
6969
): promise<unit> => {
7070
// focus on the panel before prompting
7171
State.Context.setPrompt(true)
72+
Js.log("Panel.prompt: activating prompt")
7273

7374
// send request to view
7475
sendRequest(state, Prompt(header, prompt), async response =>
7576
switch response {
7677
| PromptSuccess(result) =>
78+
Js.log("Panel.prompt: PromptSuccess")
7779
let _ = await callbackOnPromptSuccess(result)
7880
State.Context.setPrompt(false)
7981
// put the focus back to the editor after prompting
8082
Editor.focus(state.document)
8183
// prompt success, clear the cached prompt
8284
State.ViewCache.clearPrompt(state.panelCache)
8385
| PromptInterrupted =>
86+
Js.log("Panel.prompt: PromptInterrupted")
8487
State.Context.setPrompt(false)
8588
// put the focus back to the editor after prompting
8689
Editor.focus(state.document)

0 commit comments

Comments
 (0)