Add a transcript to replicate #3939

This commit is contained in:
Greg Pfeil 2024-05-24 22:20:53 -06:00
parent 6805135654
commit 7d7047967a
No known key found for this signature in database
GPG Key ID: 1193ACD196ED61F2
2 changed files with 68 additions and 0 deletions

View File

@ -0,0 +1,12 @@
```unison
{{
A simple doc.
}}
meh = 9
```
```ucm
.> add
.> find meh
.> docs 1
```

View File

@ -0,0 +1,56 @@
```unison
{{
A simple doc.
}}
meh = 9
```
```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`:
meh : Nat
meh.doc : Doc2
```
```ucm
.> add
⍟ I've added these definitions:
meh : Nat
meh.doc : Doc2
.> find meh
1. meh : Nat
2. meh.doc : Doc2
.> docs 1
⚠️
The following names were not found in the codebase. Check your spelling.
meh.doc#3n6of1k7qmgib9jda9ov1obetubfmladketn40gqifp4pfdea8it6ofa920l1topi2pd32vlsbfu3q41fkbt8coa38akg9eetto09j8
```
🛑
The transcript failed due to an error in the stanza above. The error is:
⚠️
The following names were not found in the codebase. Check your spelling.
meh.doc#3n6of1k7qmgib9jda9ov1obetubfmladketn40gqifp4pfdea8it6ofa920l1topi2pd32vlsbfu3q41fkbt8coa38akg9eetto09j8