From c54bf671b0293890a26a21d0b6325ad1a117615d Mon Sep 17 00:00:00 2001 From: Quentin Bernet Date: Fri, 14 Jul 2023 11:42:23 +0200 Subject: [PATCH] Update link to point to correct section In the reference, in Erased Definitions, link pointed to the Inline page, even though the content is in Compile Time Operations --- docs/_docs/reference/experimental/erased-defs.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_docs/reference/experimental/erased-defs.md b/docs/_docs/reference/experimental/erased-defs.md index 28455f26cdc0..548b9c11bc0b 100644 --- a/docs/_docs/reference/experimental/erased-defs.md +++ b/docs/_docs/reference/experimental/erased-defs.md @@ -161,8 +161,8 @@ object Machine: // State must be Off ``` -Note that in [Inline](../metaprogramming/inline.md) we discussed `erasedValue` and inline -matches. `erasedValue` is implemented with `erased`, so the state machine above +Note that in [Compile-time operations](../metaprogramming/compiletime-ops.md#erasedvalue) we discussed `erasedValue` and inline +matches. `erasedValue` is internally implemented with `erased` (and is not experimental), so the state machine above can be encoded as follows: ```scala