abcl
abcl copied to clipboard
SUBTYPEP issue about MOD.
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
This is equivalent to (integer 0 (n)) or to (integer 0 m), where m=n-1.