diff --git a/unison-src/transcripts/fix2795.md b/unison-src/transcripts/fix2795.md new file mode 100644 index 000000000..d4b61c99b --- /dev/null +++ b/unison-src/transcripts/fix2795.md @@ -0,0 +1,5 @@ +```ucm +.> builtins.mergeio +.> load unison-src/transcripts/fix2795/docs.u +.> display test +``` diff --git a/unison-src/transcripts/fix2795.output.md b/unison-src/transcripts/fix2795.output.md new file mode 100644 index 000000000..7961beec7 --- /dev/null +++ b/unison-src/transcripts/fix2795.output.md @@ -0,0 +1,27 @@ +```ucm +.> builtins.mergeio + + Done. + +.> load unison-src/transcripts/fix2795/docs.u + + I found and typechecked these definitions in + unison-src/transcripts/fix2795/docs.u. If you do an `add` or + `update`, here's how your codebase would change: + + ⍟ These new definitions are ok to `add`: + + t1 : Text + test : Doc2 + +.> display test + + t : Text + t = "hi" + t + ⧨ + "hi" + + t1 = "hi" + +``` diff --git a/unison-src/transcripts/fix2795/docs.u b/unison-src/transcripts/fix2795/docs.u new file mode 100644 index 000000000..c5bb69aa6 --- /dev/null +++ b/unison-src/transcripts/fix2795/docs.u @@ -0,0 +1,12 @@ +test = {{ + ``` + t : Text + t = "hi" + + t + ``` + @source{t1} + +}} + +t1 = "hi"