diff --git a/unison-src/transcripts-using-base/fix5178.md b/unison-src/transcripts-using-base/fix5178.md new file mode 100644 index 000000000..e69927eae --- /dev/null +++ b/unison-src/transcripts-using-base/fix5178.md @@ -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 +``` diff --git a/unison-src/transcripts-using-base/fix5178.output.md b/unison-src/transcripts-using-base/fix5178.output.md new file mode 100644 index 000000000..90ce0227b --- /dev/null +++ b/unison-src/transcripts-using-base/fix5178.output.md @@ -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} }} + +```