diff --git a/docs/docs/reference/metaprogramming/macros.md b/docs/docs/reference/metaprogramming/macros.md index b16dd4d62dfc..c1841849bd0b 100644 --- a/docs/docs/reference/metaprogramming/macros.md +++ b/docs/docs/reference/metaprogramming/macros.md @@ -60,7 +60,7 @@ quotation. Quotes and splices can also be applied directly to identifiers. An identifier `$x` starting with a `$` that appears inside a quoted expression or type is treated as a -splice `${x}`. Analogously, an quoted identifier 'x that appears inside a splice +splice `${x}`. Analogously, an quoted identifier `'x` that appears inside a splice is treated as a quote `'{x}`. See the Syntax section below for details. Quotes and splices are duals of each other. For arbitrary @@ -110,7 +110,7 @@ allowed everywhere. The phase consistency principle can be motivated as follows: First, suppose the result of a program `P` is some quoted text `'{ ... x -... }` that refers to a free variable `x` in `P` This can be +... }` that refers to a free variable `x` in `P`. This can be represented only by referring to the original variable `x`. Hence, the result of the program will need to persist the program state itself as one of its parts. We don’t want to do this, hence this situation