From 581e2e105ae1f8b55dfc317fac5491d54bddc7b0 Mon Sep 17 00:00:00 2001 From: Mitchell Rosen Date: Mon, 26 Feb 2024 16:35:24 -0500 Subject: [PATCH] add transcript --- unison-src/transcripts/fix2970.md | 10 +++++++++ unison-src/transcripts/fix2970.output.md | 26 ++++++++++++++++++++++++ 2 files changed, 36 insertions(+) create mode 100644 unison-src/transcripts/fix2970.md create mode 100644 unison-src/transcripts/fix2970.output.md diff --git a/unison-src/transcripts/fix2970.md b/unison-src/transcripts/fix2970.md new file mode 100644 index 0000000000..d9a6a6b532 --- /dev/null +++ b/unison-src/transcripts/fix2970.md @@ -0,0 +1,10 @@ +Also fixes #1519 (it's the same issue). + +```ucm +.> builtins.merge +``` + +```unison +foo.+.doc : Nat +foo.+.doc = 10 +``` diff --git a/unison-src/transcripts/fix2970.output.md b/unison-src/transcripts/fix2970.output.md new file mode 100644 index 0000000000..904508e2cd --- /dev/null +++ b/unison-src/transcripts/fix2970.output.md @@ -0,0 +1,26 @@ +Also fixes #1519 (it's the same issue). + +```ucm +.> builtins.merge + + Done. + +``` +```unison +foo.+.doc : Nat +foo.+.doc = 10 +``` + +```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.+.doc : Nat + +```