Subject: bug in gcl, type descriptions for typecase
From: Richard Fateman
Date: Mon, 17 Jul 2006 13:44:11 -0700
Consider
(defun h(x) (typecase x ((integer * -1) 'negative) (integer
'non-negative)))
The first type clause should get all integers from * to -1, i.e. negative.
Thus (h -10) should return negative. It doesn't.
It returns non-negative.
I tried allegro CL, which does what I expected. This is the GCL used for
maxima 5.9.3
RJF