Add a jit test for multiple evaluation from scratch file

This commit is contained in:
Dan Doel 2024-04-01 16:12:22 -04:00
parent 5a4de510bd
commit 4f4395fd65
2 changed files with 46 additions and 0 deletions

View File

@ -103,3 +103,17 @@ to `Tests.check` and `Tests.checkEqual`).
```ucm
.> run.native tests.jit.only
```
```unison
foo = do
go : Nat ->{Exception} ()
go = cases
0 -> ()
n -> go (decrement n)
go 1000
```
```ucm
.> run.native foo
.> run.native foo
```

View File

@ -17,3 +17,35 @@ to `Tests.check` and `Tests.checkEqual`).
()
```
```unison
foo = do
go : Nat ->{Exception} ()
go = cases
0 -> ()
n -> go (decrement n)
go 1000
```
```ucm
Loading changes detected in scratch.u.
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These new definitions are ok to `add`:
foo : '{Exception} ()
```
```ucm
.> run.native foo
()
.> run.native foo
()
```