From d2ee13bd1e5066fefcf93e2360fea7322de0364c Mon Sep 17 00:00:00 2001 From: Dan Doel Date: Tue, 1 Feb 2022 12:29:55 -0500 Subject: [PATCH] Add test case. --- unison-src/transcripts/fix2795.md | 5 +++++ unison-src/transcripts/fix2795.output.md | 27 ++++++++++++++++++++++++ unison-src/transcripts/fix2795/docs.u | 12 +++++++++++ 3 files changed, 44 insertions(+) create mode 100644 unison-src/transcripts/fix2795.md create mode 100644 unison-src/transcripts/fix2795.output.md create mode 100644 unison-src/transcripts/fix2795/docs.u 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"