#10 Again bug 102875 !!

lisp error
closed-fixed
clisp (524)
6
2000-07-27
2000-04-21
Anonymous
No

Hello!

I am Bernard Urban (bernard.urban@meteo.fr), and I submitted last month a bug which happened in mit-clx. I could analyze more precisely the reason of this bug, which seems to be related to different behaviour between compiled and interpreted code, in clisp-2000-03-06:

[1]> (deftype angle () '(real #.(* pi -2) #.(* pi 2)))
ANGLE
[2]> (defun trial () (typep 0.0 'angle))
TRIAL
[3]> (trial)
T
[4]> (compile (defun trial () (typep 0.0 'angle)))
TRIAL ;
NIL ;
NIL
[5]> (trial)
NIL
[6]> (apropos 'angle)
ANGLE
;; angle is not a type as real is ???
[7]> (apropos 'real)
CLOS::<REAL> variable
GET-INTERNAL-REAL-TIME function
REAL type class
:REALLY-USEDP constant
SYSTEM::REALLY-USEDP
REALP function
REALPART function
SYSTEM::SETF-VAR-REALLY-USEDP
SYSTEM::TYPE-LIST-REAL
SYSTEM::VAR-REALLY-USEDP function

[8]>

Regards.

--

B. Urban

Discussion

  • Sam Steingold

    Sam Steingold - 2000-04-23
    • assigned_to: nobody --> haible
    • status: Error - status not found --> open
     
  • Bruno Haible

    Bruno Haible - 2000-07-27

    Fixed on 2000-07-27.

    Thanks for having investigated it yourself and brought it
    up with a complete analysis.

     
  • Bruno Haible

    Bruno Haible - 2000-07-27
    • priority: 5 --> 6
    • status: open --> closed-fixed
     

Log in to post a comment.