[plt-scheme] Type Explanation

On Tue, Apr 7, 2009 at 7:03 PM, Sam TH <samth at ccs.neu.edu> wrote:
> 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.
>

OK, thanks... if they're changing then better to keep them undocumented. :)

> 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
>



-- 
Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm