Skip to content

Commit

Permalink
add transcript
Browse files Browse the repository at this point in the history
  • Loading branch information
mitchellwrosen committed Feb 26, 2024
1 parent 179e131 commit 581e2e1
Show file tree
Hide file tree
Showing 2 changed files with 36 additions and 0 deletions.
10 changes: 10 additions & 0 deletions unison-src/transcripts/fix2970.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
Also fixes #1519 (it's the same issue).

```ucm
.> builtins.merge
```

```unison
foo.+.doc : Nat
foo.+.doc = 10
```
26 changes: 26 additions & 0 deletions unison-src/transcripts/fix2970.output.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
Also fixes #1519 (it's the same issue).

```ucm
.> builtins.merge
Done.
```
```unison
foo.+.doc : Nat
foo.+.doc = 10
```

```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.+.doc : Nat
```

0 comments on commit 581e2e1

Please sign in to comment.