Skip to content

Commit

Permalink
tests
Browse files Browse the repository at this point in the history
  • Loading branch information
fc1943s committed May 20, 2024
1 parent 2300d26 commit b789e09
Show file tree
Hide file tree
Showing 66 changed files with 96,975 additions and 99,071 deletions.
108 changes: 54 additions & 54 deletions apps/spiral/builder/spiral_builder.dib.html

Large diffs are not rendered by default.

108 changes: 54 additions & 54 deletions apps/spiral/builder/spiral_builder.dib.ipynb

Large diffs are not rendered by default.

2,387 changes: 1,195 additions & 1,192 deletions apps/spiral/builder/spiral_builder.fsx

Large diffs are not rendered by default.

2,591 changes: 1,336 additions & 1,255 deletions apps/spiral/builder/spiral_builder.rs

Large diffs are not rendered by default.

1,438 changes: 735 additions & 703 deletions apps/spiral/temp/test/build.dib.html

Large diffs are not rendered by default.

1,434 changes: 733 additions & 701 deletions apps/spiral/temp/test/build.dib.ipynb

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions lib/fsharp/common.py
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@

q: str = "\""

def _expr126() -> TypeInfo:
def _expr114() -> TypeInfo:
return union_type("Polyglot.Common.TraceLevel", [], TraceLevel, lambda: [[], [], [], [], []])


Expand All @@ -25,7 +25,7 @@ def cases() -> list[str]:
return ["Verbose", "Debug", "Info", "Warning", "Critical"]


TraceLevel_reflection = _expr126
TraceLevel_reflection = _expr114

def TraceLevel__get_IsVerbose(this: TraceLevel, unit_arg: None) -> bool:
if this.tag == 0:
Expand Down
8 changes: 1 addition & 7 deletions lib/math/math.dib.html

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

8 changes: 1 addition & 7 deletions lib/math/math.dib.ipynb

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

Loading

0 comments on commit b789e09

Please sign in to comment.