mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +03:00
Fix integration-tests
This commit is contained in:
parent
927b76bd59
commit
c431d350d2
1
.gitignore
vendored
1
.gitignore
vendored
@ -3,6 +3,7 @@
|
||||
test-output
|
||||
scratch.u
|
||||
unisonLocal.zip
|
||||
*.uc
|
||||
|
||||
# Auto-generated
|
||||
jit-tests.md
|
||||
|
@ -1,18 +1,13 @@
|
||||
# Integration test: transcript
|
||||
|
||||
```ucm:hide
|
||||
.> builtins.mergeio
|
||||
.> load ./unison-src/transcripts-using-base/base.u
|
||||
```
|
||||
|
||||
```ucm:hide
|
||||
.> builtins.mergeio
|
||||
.> load ./unison-src/transcripts-using-base/base.u
|
||||
.> add
|
||||
scratch/main> builtins.mergeio lib.builtins
|
||||
scratch/main> load ./unison-src/transcripts-using-base/base.u
|
||||
scratch/main> add
|
||||
```
|
||||
|
||||
```unison
|
||||
use .builtin
|
||||
use lib.builtins
|
||||
|
||||
unique type MyBool = MyTrue | MyFalse
|
||||
|
||||
@ -39,6 +34,6 @@ main = do
|
||||
```
|
||||
|
||||
```ucm
|
||||
.> add
|
||||
.> compile main ./unison-cli-integration/integration-tests/IntegrationTests/main
|
||||
scratch/main> add
|
||||
scratch/main> compile main ./unison-cli-integration/integration-tests/IntegrationTests/main
|
||||
```
|
||||
|
@ -1,7 +1,7 @@
|
||||
# Integration test: transcript
|
||||
|
||||
```unison
|
||||
use .builtin
|
||||
use lib.builtins
|
||||
|
||||
unique type MyBool = MyTrue | MyFalse
|
||||
|
||||
@ -44,7 +44,7 @@ main = do
|
||||
|
||||
```
|
||||
```ucm
|
||||
.> add
|
||||
scratch/main> add
|
||||
|
||||
⍟ I've added these definitions:
|
||||
|
||||
@ -53,6 +53,6 @@ main = do
|
||||
main : '{IO, Exception} ()
|
||||
resume : Request {g, Break} x -> x
|
||||
|
||||
.> compile main ./unison-cli-integration/integration-tests/IntegrationTests/main
|
||||
scratch/main> compile main ./unison-cli-integration/integration-tests/IntegrationTests/main
|
||||
|
||||
```
|
||||
|
Loading…
Reference in New Issue
Block a user