abcl icon indicating copy to clipboard operation
abcl copied to clipboard

SUBTYPEP issue about MOD.

Open hyotang666 opened this issue 3 years ago • 0 comments

CL-USER(1): (subtypep '(mod 3) '(mod 3))
=> NIL, NIL

Type specifier INTEGER works fine.

CL-USER(1): (subtypep '(integer 0 3) '(integer 0 3)) => T, T

CLHS say about MOD is

This is equivalent to (integer 0 (n)) or to (integer 0 m), where m=n-1.

hyotang666 avatar May 19 '22 05:05 hyotang666