Add a transcript showing that #5178 is fixed

`@source{some ability member}` now shows the source of the ability.

Fixes #5178.
This commit is contained in:
Greg Pfeil 2024-08-01 22:34:11 -06:00
parent 8a3e2efafc
commit 0ba87c871a
No known key found for this signature in database
GPG Key ID: 1193ACD196ED61F2
2 changed files with 46 additions and 0 deletions

View File

@ -0,0 +1,12 @@
`Stream.emit` is an ability member, not a term, so the source needs to be handled differently.
```unison
foo = {{
@source{Stream.emit}
}}
```
```ucm
scratch/main> add
scratch/main> view foo
```

View File

@ -0,0 +1,34 @@
`Stream.emit` is an ability member, not a term, so the source needs to be handled differently.
``` unison
foo = {{
@source{Stream.emit}
}}
```
``` 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 : Doc2
```
``` ucm
scratch/main> add
⍟ I've added these definitions:
foo : Doc2
scratch/main> view foo
foo : Doc2
foo = {{ @source{emit} }}
```