[plt-scheme] Type Explanation

From: Sam TH (samth at ccs.neu.edu)
Date: Tue Apr 7 15:03:31 EDT 2009

It means that anything that answers #t to `integer?' is a Number, and
anything that answers #f is not an Integer.  These aren't documented,
and they're going to change substantially in the near future.

On Tue, Apr 7, 2009 at 2:53 PM, Paulo J. Matos <pocmatos at gmail.com> wrote:
> Hi,
>
> I was trying to check the predicate for type Integer and tested integer?. I got:
>> integer?
> - : (Any -> Boolean : ((restrict Number)) ((remove Integer)))
>
> What's the meaning of  ": ((restrict Number)) ((remove Integer)))"
>
> Are these possibilities documented?
>
> Cheers,
>
> --
> Paulo Jorge Matos - pocmatos at gmail.com
> Webpage: http://www.personal.soton.ac.uk/pocm
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>



-- 
sam th
samth at ccs.neu.edu


Posted on the users mailing list.