Skip to content

Commit

Permalink
tests
Browse files Browse the repository at this point in the history
  • Loading branch information
fc1943s committed Jul 2, 2024
1 parent 4bc523b commit ec39236
Show file tree
Hide file tree
Showing 6 changed files with 185 additions and 178 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
# polyglot

<https://polyglot.on.fleek.co>
<https://i574n.github.io/polyglot>

<https://polyglot.pages.dev>

<https://i574n.github.io/polyglot>
<https://polyglot.on.fleek.co>

[![깃허브 코드스페이스](https://github.com/codespaces/badge.svg)](https://github.com/codespaces/new?hide_repo_select=true&ref=main&repo=255818909)

Expand Down
207 changes: 105 additions & 102 deletions lib/spiral/file_system.dib.html

Large diffs are not rendered by default.

145 changes: 74 additions & 71 deletions lib/spiral/file_system.dib.ipynb

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion lib/spiral/runtime.dib
Original file line number Diff line number Diff line change
Expand Up @@ -1130,7 +1130,7 @@ let execute_with_options_async (options : execution_options) : _ (i32 * string)
fun () => { options }

inl utf8 = sm'.encoding_utf8 ()
inl arguments = arguments |> optionm.value
inl arguments = arguments |> optionm'.default_value ""

$'let start_info = System.Diagnostics.ProcessStartInfo ('
$' Arguments = !arguments,'
Expand Down
3 changes: 2 additions & 1 deletion lib/spiral/runtime.fsx
Original file line number Diff line number Diff line change
Expand Up @@ -4553,7 +4553,8 @@ and method11 (v0 : string, v1 : System.Threading.CancellationToken option, v2 :
let v48 : string =
match v30 with
| US3_1 -> (* None *)
failwith<string> "Option does not have a value."
let v46 : string = ""
v46
| US3_0(v45) -> (* Some *)
v45
let start_info = System.Diagnostics.ProcessStartInfo (
Expand Down
2 changes: 1 addition & 1 deletion lib/spiral/runtime.spi
Original file line number Diff line number Diff line change
Expand Up @@ -566,7 +566,7 @@ let execute_with_options_async (options : execution_options) : _ (i32 * string)
fun () => { options }

inl utf8 = sm'.encoding_utf8 ()
inl arguments = arguments |> optionm.value
inl arguments = arguments |> optionm'.default_value ""

$'let start_info = System.Diagnostics.ProcessStartInfo ('
$' Arguments = !arguments,'
Expand Down

0 comments on commit ec39236

Please sign in to comment.