kiss-lang/kiss-vscode
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

make kiss-vscode-api Util.kiss more portable

Browse Source
This commit is contained in:
Nat Quayle Nelson
2023-03-18 18:05:37 -06:00
parent 0defc95ba7
commit 2d2c11df9f
1 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
projects/kiss-vscode-api/src/Util.kiss
View File

@@ -144,18 +144,18 @@
(openFile dirOrFile))))))) (openFile dirOrFile)))))))
(function :Void showCompileError [errorMessage] (function :Void showCompileError [errorMessage]
(ifLet [compileErrors (R.distinctMatches (ifLet [compileErrors (re_flex.R.distinctMatches
(R.group (re_flex.R.group
(R.namedGroup "file" (re_flex.R.namedGroup "file"
(R.repeat (R.oneOf R.anyLetter R.anyDigit (R.escape "/")) 1) // filename (re_flex.R.repeat (re_flex.R.oneOf re_flex.R.anyLetter re_flex.R.anyDigit (re_flex.R.escape "/")) 1) // filename
(R.escape ".kiss:") (re_flex.R.escape ".kiss:")
(R.repeat R.anyDigit 1) // line (re_flex.R.repeat re_flex.R.anyDigit 1) // line
(R.escape ":") (re_flex.R.escape ":")
(R.optional (re_flex.R.optional
(R.group (re_flex.R.group
(R.repeat R.anyDigit 1) // column (re_flex.R.repeat re_flex.R.anyDigit 1) // column
(R.escape ":")))) (re_flex.R.escape ":"))))
(R.repeat R.anyChar 1)) (re_flex.R.repeat re_flex.R.anyChar 1))
errorMessage)] errorMessage)]
{ {
(Vscode.window.showErrorMessage errorMessage) (Vscode.window.showErrorMessage errorMessage)
@@ -343,7 +343,7 @@
(function :js.lib.Promise<String> inputEditor [:String filename :String prompt] (function :js.lib.Promise<String> inputEditor [:String filename :String prompt]
(let [previousEditor activeTextEditor (let [previousEditor activeTextEditor
tempFile (joinPath (userHome) "Documents" filename) tempFile (joinPath (userHome) "Documents" filename)
uri (if (FileSystem.exists tempFile) uri (if (sys.FileSystem.exists tempFile)
(Uri.parse "file:$tempFile") (Uri.parse "file:$tempFile")
(Uri.parse "untitled:$tempFile"))] (Uri.parse "untitled:$tempFile"))]
(new js.lib.Promise (new js.lib.Promise