[no subject]

[SHIPMN at MIT-AI (David W. Shipman)]

; Two bugs in floating-underflow (system 43.1) ...


; this gets an error message claiming too many arguments to *CATCH and then gets into
; a loop trying to print out the args. Must be warm-booted.
; this must be compiled to lose.
(defun bad ()
  (let-globally ((zunderflow t))
     (// -1s-19 2.)))


; this gets an error message claiming 0s0 was called as a function
(defun also-bad ()
  (setq zunderflow t)
  (print (// -1s-19 2)))