Newsgroups: comp.lang.lisp
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!udel!gatech!swrinde!sgiblab!pacbell.com!att-out!nntpa!ssbunews!ssbunews.ih.att.com!lgm
From: lgm@polaris.ih.att.com (Lawrence G. Mayka)
Subject: Re: Declare the type of the elements in a list?
In-Reply-To: gadbois@cs.utexas.edu's message of 30 Jan 1995 18:42:16 -0600
Message-ID: <LGM.95Feb5194438@polaris.ih.att.com>
Sender: news@ssbunews.ih.att.com (Netnews Administration)
Nntp-Posting-Host: polaris.ih.att.com
Organization: AT&T Bell Laboratories, Naperville, Illinois, USA
References: <poeck-2801951904410001@wi6a65.informatik.uni-wuerzburg.de>
	<3gk118$itd@peaches.cs.utexas.edu>
Date: Mon, 6 Feb 1995 01:44:38 GMT
Lines: 18

In article <3gk118$itd@peaches.cs.utexas.edu> gadbois@cs.utexas.edu (David Gadbois) writes:

   Karsten Poeck asks if there is any way to parameterize the LIST type
   so as to specify the types of a list's elements.  The answer is no;
   the LIST type specifier does not take any subsidiary type information.
   It would be nice if it did, but those are the breaks.  You have to go
   the SATISFIES route.

I believe that ANSI Common Lisp specifies that the CONS type specifier
can indeed take a subsidiary type specifier as an argument, but such
argument only specifies the type of the CAR (e.g., the first element
of a list, but not necessarily all elements).
--
        Lawrence G. Mayka
        AT&T Bell Laboratories
        lgm@ieain.att.com

Standard disclaimer.
