Update ability syntax in the error message.

Co-authored-by: Karthik Ravikanti <karthik.ravikanti@gmail.com>
unisonweb · May 24, 2022 · d91db0c · d91db0c
1 parent 77a8f02
commit d91db0c
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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