anchor.diff:  	(make-instance 'tag-info
   		       :name (name entry)
   		       :definition (definition entry)))))
  -
  -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  -;;;
  -;;; The global environment.
  -;;;
  -;;; The first entry of the global environment is always a dummy entry,
  -;;; so that it is possible to side-effect the global environment by
  -;;; modifying the CDR of it.
  -
  -(defparameter *global-environment*
  -  (list (make-instance 'dummy-entry)))
  -
  -(defun add-to-global-environment (entry)
  -  (push entry (cdr *global-environment*)))
  -
  -(defun find-variable (name environment)
  -  (find-in-namespace name environment 'variable-space))
  -
  -(defun find-function (name environment)
  -  (find-in-namespace name environment 'function-space))
  -
  -(defun find-block (name environment)
  -  (find-in-namespace name environment 'block-space))
  -
  -(defun find-go-tag (name environment)
  -  (find-in-namespace name environment 'tag-space))
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  
positive.code: 
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Querying the environment.
  
  (defun find-in-namespace (name environment namespace)
  
negative.code: 		  (equal (name entry) name)))
  	   environment))
  
  (defun find-variable (name environment)
    (find-in-namespace name
  		     (append environment (variables *global-environment*))
  		     'variable-space))
  
  (defun find-function (name environment)
    (find-in-namespace name
  		     (append environment (functions *global-environment*))
  		     'function-space))
  
  (defun find-type (entry env)
    `(and ,@(loop for e in (append env (proclamations *global-environment*))
  		when (and (typep e 'type-declaration-entry)
  			  (eq (location e) entry))
  		  collect (type e))))
  
  (defun find-inline-info (entry env)
    (loop for e in (append env (proclamations *global-environment*))
  	do (when (and (typep e 'inline-or-notinline-declaration-entry)
  		      (eq (location e) entry))
  	     (return (if (typep e 'inline-declaration-entry)
  