From ...
From: Erik Naggum <erik@naggum.no>
Subject: Re: deftype list-of-things?
Date: 1997/01/22
Message-ID: <3062946317385553@naggum.no>#1/1
X-Deja-AN: 211504787
references: <E4D8u1.nD@watserv3.uwaterloo.ca> <5c407h$mst@Godzilla.cs.nwu.edu> <32E62806.77D5@uwaterloo.ca>
mail-copies-to: never
organization: Naggum Software; +47 2295 0313; http://www.naggum.no
newsgroups: comp.lang.lisp


* Kevin Mayall
| Thank you very much Seth.  I needed "satisfies".  What is satisfies
| anyway?  It's not a function, but it looks like one, and judging from
| CLtL2, the (and ... ) form is evaluated, no?

`satisfies' is part of the specification of the type.  it is no more
evaluated than (vector character) in a type specifier is a function call.

see Chapter 4 in CLtL2 or 4.2.3 in ANSI X3.226:1994, "Type Specifiers".

#\Erik
-- 
1,3,7-trimethylxanthine -- a basic ingredient in quality software.