From bc7fbf6147917f27bed7e9ed2e545dcd21c516cf Mon Sep 17 00:00:00 2001
From: ram <ram>
Date: Fri, 12 Oct 1990 01:25:54 +0000
Subject: [PATCH] Changed comment to describe the new use of
 LEXENV-TYPE-RESTRICTIONS for THE.

---
 compiler/node.lisp | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/compiler/node.lisp b/compiler/node.lisp
index 6fdb60210..a60507f51 100644
--- a/compiler/node.lisp
+++ b/compiler/node.lisp
@@ -53,10 +53,11 @@
   (blocks nil :type list)
   (tags nil :type list)
   ;;
-  ;; An alist (Leaf . CType) which is used to keep track of "pervasive" type
-  ;; declarations.  A pervasive type declaration is a type declaration that
-  ;; pertains to the type in a syntactic extent which does not correspond to a
-  ;; binding of the affected name.
+  ;; An alist (Thing . CType) which is used to keep track of "pervasive" type
+  ;; declarations.  When Thing is a leaf, this is for type declarations that
+  ;; pertain to the type in a syntactic extent which does not correspond to a
+  ;; binding of the affected name.  When Thing is a continuation, this is used
+  ;; to track the innermost THE type declaration.
   (type-restrictions nil :type list)
   ;;
   ;; An alist (Leaf . Inlinep) describing local inline declarations.
-- 
GitLab