From 8416708a29287cc03542e2aa4b3ec42d7417cf49 Mon Sep 17 00:00:00 2001 From: Greg Pfeil Date: Wed, 10 Jul 2024 10:57:36 -0600 Subject: [PATCH] Add transcripts for fixed issues This shows that this change fixes #1421, #2826, #5141, and #5168. --- unison-src/transcripts/fix1421.md | 8 +++ unison-src/transcripts/fix1421.output.md | 29 +++++++++++ unison-src/transcripts/fix2826.md | 23 +++++++++ unison-src/transcripts/fix2826.output.md | 66 ++++++++++++++++++++++++ unison-src/transcripts/fix5141.md | 5 ++ unison-src/transcripts/fix5141.output.md | 6 +++ unison-src/transcripts/fix5168.md | 4 ++ unison-src/transcripts/fix5168.output.md | 19 +++++++ 8 files changed, 160 insertions(+) create mode 100644 unison-src/transcripts/fix1421.md create mode 100644 unison-src/transcripts/fix1421.output.md create mode 100644 unison-src/transcripts/fix2826.md create mode 100644 unison-src/transcripts/fix2826.output.md create mode 100644 unison-src/transcripts/fix5141.md create mode 100644 unison-src/transcripts/fix5141.output.md create mode 100644 unison-src/transcripts/fix5168.md create mode 100644 unison-src/transcripts/fix5168.output.md diff --git a/unison-src/transcripts/fix1421.md b/unison-src/transcripts/fix1421.md new file mode 100644 index 000000000..8117928aa --- /dev/null +++ b/unison-src/transcripts/fix1421.md @@ -0,0 +1,8 @@ + ```ucm + scratch/main> alias.type ##Nat Nat + scratch/main> alias.term ##Nat.+ Nat.+ + ``` + ```unison + unique type A = A Nat + unique type B = B Nat Nat + ``` diff --git a/unison-src/transcripts/fix1421.output.md b/unison-src/transcripts/fix1421.output.md new file mode 100644 index 000000000..0f52e9a36 --- /dev/null +++ b/unison-src/transcripts/fix1421.output.md @@ -0,0 +1,29 @@ +``` ucm +scratch/main> alias.type ##Nat Nat + + Done. + +scratch/main> alias.term ##Nat.+ Nat.+ + + Done. + +``` +``` unison +unique type A = A Nat +unique type B = B Nat Nat +``` + +``` 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`: + + type A + type B + +``` diff --git a/unison-src/transcripts/fix2826.md b/unison-src/transcripts/fix2826.md new file mode 100644 index 000000000..d2ad94cd5 --- /dev/null +++ b/unison-src/transcripts/fix2826.md @@ -0,0 +1,23 @@ +```ucm +scratch/main> builtins.mergeio +``` + +Supports fences that are longer than three backticks. + +````unison + +doc = {{ + @typecheck ``` + x = 3 + ``` +}} + +```` + +And round-trips properly. + +```ucm +scratch/main> add +scratch/main> edit doc +scratch/main> load scratch.u +``` diff --git a/unison-src/transcripts/fix2826.output.md b/unison-src/transcripts/fix2826.output.md new file mode 100644 index 000000000..cf691c1b6 --- /dev/null +++ b/unison-src/transcripts/fix2826.output.md @@ -0,0 +1,66 @@ +``` ucm +scratch/main> builtins.mergeio + + Done. + +``` +Supports fences that are longer than three backticks. + +```` unison +doc = {{ + @typecheck ``` + x = 3 + ``` +}} + +```` + +``` 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`: + + doc : Doc2 + +``` +And round-trips properly. + +``` ucm +scratch/main> add + + ⍟ I've added these definitions: + + doc : Doc2 + +scratch/main> edit doc + + ☝️ + + I added 1 definitions to the top of scratch.u + + You can edit them there, then run `update` to replace the + definitions currently in this namespace. + +scratch/main> load scratch.u + + Loading changes detected in scratch.u. + + I found and typechecked the definitions in scratch.u. This + file has been previously added to the codebase. + +``` +```` unison:added-by-ucm scratch.u +doc : Doc2 +doc = + {{ + @typecheck ``` + x = 3 + ``` + }} +```` + diff --git a/unison-src/transcripts/fix5141.md b/unison-src/transcripts/fix5141.md new file mode 100644 index 000000000..0536b6e0a --- /dev/null +++ b/unison-src/transcripts/fix5141.md @@ -0,0 +1,5 @@ + diff --git a/unison-src/transcripts/fix5141.output.md b/unison-src/transcripts/fix5141.output.md new file mode 100644 index 000000000..ab031fee0 --- /dev/null +++ b/unison-src/transcripts/fix5141.output.md @@ -0,0 +1,6 @@ + + diff --git a/unison-src/transcripts/fix5168.md b/unison-src/transcripts/fix5168.md new file mode 100644 index 000000000..2eda5f021 --- /dev/null +++ b/unison-src/transcripts/fix5168.md @@ -0,0 +1,4 @@ +The `edit` seems to suppress a following ```` ```unison ```` block: +```unison +b = 2 +``` diff --git a/unison-src/transcripts/fix5168.output.md b/unison-src/transcripts/fix5168.output.md new file mode 100644 index 000000000..5a7c35e33 --- /dev/null +++ b/unison-src/transcripts/fix5168.output.md @@ -0,0 +1,19 @@ +The `edit` seems to suppress a following ` ```unison ` block: + +``` unison +b = 2 +``` + +``` 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`: + + b : ##Nat + +```