Fix some leftover instances of the old enum syntax in the manual (#1548)

* Fix some leftover instances of the old enum syntax in the manual * Update doc/manual/syntax.md Co-authored-by: Yann Hamdaoui <yann.hamdaoui@tweag.io> --------- Co-authored-by: Yann Hamdaoui <yann.hamdaoui@tweag.io>
tweag · Aug 28, 2023 · 7299264 · 7299264
1 parent 9e6dc8c
commit 7299264
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/doc/manual/syntax.md b/doc/manual/syntax.md
@@ -602,7 +602,7 @@ Here are some examples of type annotations in Nickel:
 error: incompatible types
 [..]
 
-> (1 + 1 : Number) + ((`foo |> match { `foo => 1, _ => 2 }) : Number)
+> (1 + 1 : Number) + (('foo |> match { 'foo => 1, _ => 2 }) : Number)
 3
 
 > let x : Number = "a" in x

diff --git a/doc/manual/typing.md b/doc/manual/typing.md
@@ -220,7 +220,7 @@ The following type constructors are available:
   ```
 
 - **Enum**: ``[| 'tag1, .., 'tagn |]``: an enumeration comprised of alternatives
-  `tag1`, .., `tagn`. An enumeration literal is prefixed with a backtick and
+  `tag1`, .., `tagn`. An enumeration literal is prefixed with a single quote and
   serialized as a string. It is useful to encode finite alternatives. The
   advantage over strings is that the typechecker handles them more finely: it is
   able to detect incomplete matches, for example.