diff --git a/parser-typechecker/src/Unison/PrintError.hs b/parser-typechecker/src/Unison/PrintError.hs index c4e9fbd340..782c6b2a65 100644 --- a/parser-typechecker/src/Unison/PrintError.hs +++ b/parser-typechecker/src/Unison/PrintError.hs @@ -1410,7 +1410,7 @@ prettyParseError s = \case Code " + 1", "\n - An `ability` declaration, like " - <> style Code "ability Foo where ...", + <> style Code "unique|structural ability Foo where ...", "\n - A `type` declaration, like " <> style Code "structural type Optional a = None | Some a", "\n" diff --git a/unison-src/transcripts/error-messages.output.md b/unison-src/transcripts/error-messages.output.md index d1a57f856e..52f59be266 100644 --- a/unison-src/transcripts/error-messages.output.md +++ b/unison-src/transcripts/error-messages.output.md @@ -242,7 +242,7 @@ a ! b = 1 a : Nat a = 42 - A watch expression, like > a + 1 - - An `ability` declaration, like ability Foo where ... + - An `ability` declaration, like unique|structural ability Foo where ... - A `type` declaration, like structural type Optional a = None | Some a diff --git a/unison-src/transcripts/errors/unison-hide-all.output.md b/unison-src/transcripts/errors/unison-hide-all.output.md index d71d0849ae..d6e5092f0a 100644 --- a/unison-src/transcripts/errors/unison-hide-all.output.md +++ b/unison-src/transcripts/errors/unison-hide-all.output.md @@ -26,7 +26,7 @@ The transcript failed due to an error in the stanza above. The error is: g : Nat g = 42 - A watch expression, like > g + 1 - - An `ability` declaration, like ability Foo where ... + - An `ability` declaration, like unique|structural ability Foo where ... - A `type` declaration, like structural type Optional a = None | Some a diff --git a/unison-src/transcripts/errors/unison-hide.output.md b/unison-src/transcripts/errors/unison-hide.output.md index c2dbfed584..772624318b 100644 --- a/unison-src/transcripts/errors/unison-hide.output.md +++ b/unison-src/transcripts/errors/unison-hide.output.md @@ -26,7 +26,7 @@ The transcript failed due to an error in the stanza above. The error is: g : Nat g = 42 - A watch expression, like > g + 1 - - An `ability` declaration, like ability Foo where ... + - An `ability` declaration, like unique|structural ability Foo where ... - A `type` declaration, like structural type Optional a = None | Some a