From: Raymond Toy
Subject: Type of (integer (0) (0))?
Date: Wed, 16 Oct 2002 19:03:56 +0000
Message-ID: <4nlm4ymcir.fsf@rtp.ericsson.se>

This came up on the CMUCL mailing list.  What exactly is the type of
(integer (0) (0))?  The CLHS doesn't seem to forbid types where the
lower bound is greater than the upper bound, so it seems that this the
empty type.

Currently CMUCL and ACL complain about this type.  SBCL used to but
doesn't anymore---it silently accepts it.

What is this type?

Ray

From: Martin Simmons
Subject: Re: Type of (integer (0) (0))?
Date: Thu, 17 Oct 2002 10:49:56 +0000
Message-ID: <3dae95d5$0$1291$ed9e5944@reading.news.pipex.net>

"Raymond Toy" <···@rtp.ericsson.se> wrote in message
···················@rtp.ericsson.se...
>
> This came up on the CMUCL mailing list.  What exactly is the type of
> (integer (0) (0))?  The CLHS doesn't seem to forbid types where the
> lower bound is greater than the upper bound, so it seems that this the
> empty type.
>
> Currently CMUCL and ACL complain about this type.  SBCL used to but
> doesn't anymore---it silently accepts it.
>
> What is this type?

Looks like the empty type to me as well.
--
Martin Simmons, Xanalys Software Tools
······@xanalys.com
rot13 to reply