From 5da63ec4f177a4874cb0943460c41a81bdfb4a73 Mon Sep 17 00:00:00 2001 From: rlmark Date: Mon, 23 Aug 2021 14:09:27 -0700 Subject: [PATCH] fixes doubleSpace issue --- unison-src/transcripts/addupdatemessages.md | 10 +++++----- unison-src/transcripts/command-replace.md | 4 ++-- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/unison-src/transcripts/addupdatemessages.md b/unison-src/transcripts/addupdatemessages.md index 8c7e958d4..671d923ac 100644 --- a/unison-src/transcripts/addupdatemessages.md +++ b/unison-src/transcripts/addupdatemessages.md @@ -10,8 +10,8 @@ Let's set up some definitions to start: x = 1 y = 2 -structural type X = One Nat -structural type Y = Two Nat Nat +structural type X = One Nat +structural type Y = Two Nat Nat ``` Expected: `x` and `y`, `X`, and `Y` exist as above. UCM tells you this. @@ -25,7 +25,7 @@ Let's add an alias for `1` and `One`: ```unison z = 1 -structural type Z = One Nat +structural type Z = One Nat ``` Expected: `z` is now `1`. UCM tells you that this definition is also called `x`. @@ -39,7 +39,7 @@ Let's update something that has an alias (to a value that doesn't have a name al ```unison x = 3 -structural type X = Three Nat Nat Nat +structural type X = Three Nat Nat Nat ``` Expected: `x` is now `3` and `X` has constructor `Three`. UCM tells you the old definitions were also called `z` and `Z` and these names have also been updated. @@ -52,7 +52,7 @@ Update it to something that already exists with a different name: ```unison x = 2 -structural type X = Two Nat Nat +structural type X = Two Nat Nat ``` Expected: `x` is now `2` and `X` is `Two`. UCM says the old definition was also named `z/Z`, and was also updated. And it says the new definition is also named `y/Y`. diff --git a/unison-src/transcripts/command-replace.md b/unison-src/transcripts/command-replace.md index af7af6c94..1e584529c 100644 --- a/unison-src/transcripts/command-replace.md +++ b/unison-src/transcripts/command-replace.md @@ -10,8 +10,8 @@ Let's set up some definitions to start: x = 1 y = 2 -structural type X = One Nat -structural type Y = Two Nat Nat +structural type X = One Nat +structural type Y = Two Nat Nat ``` ```ucm