unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-19 06:17:33 +03:00
Code Issues Projects Releases Wiki Activity

Don't pull base in transcripts

Browse Source
This commit is contained in:
Chris Penner 2024-01-02 11:35:02 -08:00
parent ef3689f687
commit dfbd39bf76
2 changed files with 4 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
unison-src/transcripts/fix4482.md
View File

@ -11,7 +11,7 @@ mybar = bar + bar
```
```ucm:error
.> project.create myproj
.> project.create-empty myproj
myproj/main> add
myproj/main> upgrade foo0 foo1
```

12
unison-src/transcripts/fix4482.output.md
View File

@ -22,15 +22,10 @@ mybar = bar + bar
```
```ucm
.> project.create myproj
.> project.create-empty myproj
🎉 I've created the project myproj.
I'll now fetch the latest version of the base Unison
library...
Downloaded 12786 entities.
🎨 Type `ui` to explore this project's code in your browser.
🔭 Discover libraries at https://share.unison-lang.org
📖 Use `help-topic projects` to learn more about projects.
@ -55,11 +50,10 @@ myproj/main> add
myproj/main> upgrade foo0 foo1
mybar : Nat
mybar : ##Nat
mybar =
use Nat +
use lib.foo0.lib.bonk1 bar
bar + bar
##Nat.+ bar bar
I couldn't automatically upgrade foo0 to foo1.