[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Question about declaration
- To: quiroz@ACORN.CS.ROCHESTER.EDU
- Subject: Re: Question about declaration
- From: Brad Miller <miller@ACORN.CS.ROCHESTER.EDU>
- Date: Fri, 11 Dec 87 15:13 EST
- Cc: CL@ACORN.CS.ROCHESTER.EDU
- Default-character-style: (:FIX :CONDENSED :NORMAL)
- Fonts: CPTFONTC
- In-reply-to: <8712111027.AA00767@jabbah.cs.rochester.edu>
- Organization: University of Rochester, Department of Computer Science
- Phone: 716-275-1118
- Postal-address: 401A CS Building, Computer Science Department, University of Rochester, Rochester NY 14627
- Reply-to: miller@cs.rochester.edu
- Sender: miller@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