X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fnode.lisp;h=69bc2959197ca7ea5446a233580923e72f9324b4;hb=8f31e3b32926c61b13240c447637d4bb9af10cdc;hp=2f61cb8efc4ebf3c1b000eb4c4777622646717b7;hpb=d2e1e27f0d424a22926bcfa1d831641529073bc3;p=sbcl.git diff --git a/src/compiler/node.lisp b/src/compiler/node.lisp index 2f61cb8..69bc295 100644 --- a/src/compiler/node.lisp +++ b/src/compiler/node.lisp @@ -1144,6 +1144,10 @@ ;; These are solely used by FIND-CONSTRAINT (ctype-constraints nil :type (or null hash-table)) (eq-constraints nil :type (or null hash-table)) + ;; sorted sets of constraints we like to iterate over + (eql-var-constraints nil :type (or null (array t 1))) + (inheritable-constraints nil :type (or null (array t 1))) + (private-constraints nil :type (or null (array t 1))) ;; Initial type of a LET variable as last seen by PROPAGATE-FROM-SETS. (last-initial-type *universal-type* :type ctype) ;; The FOP handle of the lexical variable represented by LAMBDA-VAR