TYPE-OF incorrect for bignums

[jch]

CL-USER> (lisp-implementation-version)
"Version 1.5-dev-r13405M-trunk  (LinuxX8664)"
CL-USER> (type-of (expt 2 64))
(INTEGER 1152921504606846976)
CL-USER> (type-of (expt 2 100))
(INTEGER 1152921504606846976)
CL-USER> (type-of (expt 2 1000))
(INTEGER 1152921504606846976)
CL-USER> (type-of (expt 2 10000))
(INTEGER 1152921504606846976)

[gb]

I don't know what this has to do with type inference.

What do you think is incorrect about the type specifier returned by TYPE-OF in those cases ?

[jch]

Doesn't (INTEGER n) imply that the value is between 0 and n-1? (expt 2 10000) is certainly not between 0 and 1152921504606846975 (it has over 3000 decimal digits).

My guess is that TYPE-OF is reporting all integers as fixnums.

[gb]

(INTEGER n) is shorthand for (INTEGER n *) which means "all integers >= n". You may be thinking of (MOD n), which is shorthand for (INTEGER 0 (n)).

 http://www.lispworks.com/documentation/HyperSpec/Body/t_intege.htm  http://www.lispworks.com/documentation/HyperSpec/Body/t_mod.htm

[jch]

You're right, my apologies.