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 +```