From e1a33dd0c3c1372dd00fb55ab5a45c42310f64c0 Mon Sep 17 00:00:00 2001 From: Kisaragi <48310258+KisaragiEffective@users.noreply.github.com> Date: Mon, 3 Jul 2023 23:45:35 +0900 Subject: [PATCH] docs: fix unbalanced quote in macros.md [Cherry-picked e41401a0bbdce9bc1e8a32ffe546c6fdac3d330c] --- docs/_docs/reference/metaprogramming/macros.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_docs/reference/metaprogramming/macros.md b/docs/_docs/reference/metaprogramming/macros.md index a91e69d985f0..dd45be0c4971 100644 --- a/docs/_docs/reference/metaprogramming/macros.md +++ b/docs/_docs/reference/metaprogramming/macros.md @@ -255,7 +255,7 @@ Therefore, while evaluating the quote, it is not possible to accidentally rebind If a quote is well typed, then the generated code is well typed. This is a simple consequence of tracking the type of each expression. An `Expr[T]` can only be created from a quote that contains an expression of type `T`. -Conversely, an `Expr[T]` can only be spliced in a location that expects a type `T. +Conversely, an `Expr[T]` can only be spliced in a location that expects a type `T`. As mentioned before, `Expr` is covariant in its type parameter. This means that an `Expr[T]` can contain an expression of a subtype of `T`. When spliced in a location that expects a type `T, these expressions also have a valid type.