Re: Question about declaration

[Brad Miller <miller@ACORN.CS.ROCHESTER.EDU>]

    Date: Fri, 11 Dec 87 05:27:16 -0500
    From: quiroz

    If (as it seems) `bar' isn't restricted to be anything sharper than
    `list', then the only thing we know is that `foo' returns multiple
    values.  (Indeed, `foo' is just another name for `values-list', but
    I assume you are just abstracting here the useful aspects of a real
    `foo' of yours.)

T

    I suspect I would write something as uninformative as
	(proclaim '(function foo (list) (values &rest list)))
    which is marginally better than no declaration at all.

Are &markers accepted in these definitions? They aren't lamda lists. I
didn's see anything in CLtL to indicate that they are acceptible...

Thnx,

Brad
------
miller@cs.rochester.edu {...allegra!rochester!miller}
Brad Miller
University of Rochester Computer Science Department