From 33fc68a7c35c321a604a7616c1a5cf08da8854a3 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Tue, 31 Jul 2007 18:54:50 +0000 Subject: [PATCH] Owen pointed out that this made no sense :) git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@40644 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/InternalsManual.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/InternalsManual.html b/docs/InternalsManual.html index 3b49c9c619..eb36a790d3 100644 --- a/docs/InternalsManual.html +++ b/docs/InternalsManual.html @@ -349,9 +349,9 @@ typedef for foo.

Representing types like this is great for diagnostics, because the user-specified type is always immediately available. There are two problems with this: first, various semantic checks need to make judgements about the -structure of a type, not its structure. Second, we need an efficient -way to query whether two types are structurally identical to each other, -ignoring typedefs. The solution to both of these problems is the idea of +actual structure of a type, ignoring typdefs. Second, we need an +efficient way to query whether two types are structurally identical to each +other, ignoring typedefs. The solution to both of these problems is the idea of canonical types.

Canonical Types

-- 2.40.0