From 3d3fce1b27db661f1cff42953315f194c9af7e06 Mon Sep 17 00:00:00 2001 From: Charles Lew Date: Sat, 25 Nov 2023 10:59:01 +0800 Subject: [PATCH] Add a `FIXME` about reorganizing contents. --- src/traits/canonicalization.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/traits/canonicalization.md b/src/traits/canonicalization.md index d6d57d7850..541a70b67b 100644 --- a/src/traits/canonicalization.md +++ b/src/traits/canonicalization.md @@ -1,5 +1,9 @@ # Canonicalization +> **NOTE**: FIXME: The content of this chapter has some overlap with +> [Next-gen trait solving Canonicalization chapter](../solve/canonicalization.html). It is suggested to +> reorganize these contents in the future. + Canonicalization is the process of **isolating** an inference value from its context. It is a key part of implementing [canonical queries][cq], and you may wish to read the parent chapter