Re: Issue: FUNCTION-TYPE-REST-LIST-ELEMENT, FUNCTION-DECLARATION issues

[sandra%orion@cs.utah.edu (Sandra J Loosemore)]

  Date: 9 Dec 87 02:59 PST
  From: Masinter.pa@Xerox.COM

  Given (proclaim '(function foo (s1 t1) v1)) and (declare (function foo (s2 t2)
  v2)) you could assert that

  (foo x y) => (the (and v1 v2) (foo (the (and s1 s2) x) (the (and t1 t2) y))).

I disagree.  The DECLARE should shadow the PROCLAIM; see p. 156 of
CLtL.  Or is there another proposal in the works to change declaration
shadowing as well?  :-)

-Sandra
-------