From bcb3e46218c79d944ebf527a25188995eb90bd13 Mon Sep 17 00:00:00 2001 From: Chris Penner Date: Wed, 26 Jun 2024 11:18:41 -0700 Subject: [PATCH] Fix 2628.md for projects --- unison-src/transcripts/fix2628.md | 2 +- unison-src/transcripts/fix2628.output.md | 32 ++++++++++++------------ 2 files changed, 17 insertions(+), 17 deletions(-) diff --git a/unison-src/transcripts/fix2628.md b/unison-src/transcripts/fix2628.md index 3e111226b..cef5bd4a9 100644 --- a/unison-src/transcripts/fix2628.md +++ b/unison-src/transcripts/fix2628.md @@ -1,5 +1,5 @@ ```ucm:hide -scratch/main> alias.type ##Nat .base.Nat +scratch/main> alias.type ##Nat lib.base.Nat ``` ```unison:hide diff --git a/unison-src/transcripts/fix2628.output.md b/unison-src/transcripts/fix2628.output.md index 93e2bb13a..6dba18bfa 100644 --- a/unison-src/transcripts/fix2628.output.md +++ b/unison-src/transcripts/fix2628.output.md @@ -4,23 +4,23 @@ unique type foo.bar.baz.MyRecord = { } ``` +```ucm +scratch/main> add - -🛑 - -The transcript failed due to an error in the stanza above. The error is: - - + ⍟ I've added these definitions: - ❓ - - I couldn't resolve any of these symbols: - - 2 | value : Nat - - - Symbol Suggestions - - Nat No matches + type foo.bar.baz.MyRecord + foo.bar.baz.MyRecord.value : MyRecord -> Nat + foo.bar.baz.MyRecord.value.modify : (Nat ->{g} Nat) + -> MyRecord + ->{g} MyRecord + foo.bar.baz.MyRecord.value.set : Nat + -> MyRecord + -> MyRecord + +scratch/main> find : Nat -> MyRecord + + 1. foo.bar.baz.MyRecord.MyRecord : Nat -> MyRecord +```