July 2006 - cmucl-ticket - mailman3.common-lisp.net

[cmucl-ticket] [cmucl] #1: prin1 and ~E produce different outputs.
by cmucl 03 Oct '07

03 Oct '07

#1: prin1 and ~E produce different outputs. ------------------------+--------------------------------------------------- Reporter: anonymous | Owner: somebody Type: defect | Status: new Priority: minor | Milestone: Component: component1 | Version: Keywords: printing | ------------------------+--------------------------------------------------- (let ((x (random 1d-3))) (values (prin1-to-string x) (format nil "~E" x))) will produce different significant digits. I think the problem is in ~E which calls lisp::scale-exponent to scale the number between 0.1 and 1. I think we could just call flonum-to-digits which will give us the digits and the exponent. We can massage that into the desired digits and exponent as in scale-exponent, but we won't have the round-off problem. Maybe. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/1> cmucl <http://common-lisp.net/project/cmucl> cmucl

1 4

[cmucl-ticket] #5: Hash table entry with key and value of :EMPTY is treated as an empty entry.
by cmucl 14 Aug '06

14 Aug '06

#5: Hash table entry with key and value of :EMPTY is treated as an empty entry. --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: minor | Milestone: Component: Core | Version: 19c Keywords: | --------------------+------------------------------------------------------- {{{ (defvar *h* (make-hash-table)) (setf (gethash :empty *h*) :empty) (maphash #'(lambda (k v) (format t "~A -> ~A~%" k v)) *h*) }}} produces no output, but printing *h* indicates the hash table has one entry in it. This is a bug in how the hash tables indicate an empty slot. The key- value vector uses a key and value of :EMPTY to indicate an empty slot. A possible solution: The second slot in the key-value vector is the symbol :EMPTY, but is otherwise not used for anything. So, instead of putting :EMPTY there, we can put a gensym'ed symbol there instead, and initialize all the remaining slots of the kv vector to be this symbol. I don't think there's any impact on GC, because if the GC code needs the empty symbol, it uses kv_vector![1] to get it. The Lisp code needs to change to initialize the kv-vector appropriately. maphash and with-hash- table-iterator need to use kv_vector![1] instead of :EMPTY to determine if a slot is empty or not. I think this should work. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/5> cmucl <http://common-lisp.net/project/cmucl> cmucl

1 1

[cmucl-ticket] [cmucl] #3: without-package-locks doesn't work with defmacro
by cmucl 21 Jul '06

21 Jul '06

#3: without-package-locks doesn't work with defmacro --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 19c Keywords: | --------------------+------------------------------------------------------- Reported in cmucl-help, 2006/04/30: {{{ (in-package "CL-USER") (ext:without-package-locks (defmacro mp::with-process-lock ((lock) &body body) `(mp:with-lock-held (,lock) ,@body))) }}} The above produces an error about a locked package, even though there's a without-package-locks. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/3> cmucl <http://common-lisp.net/project/cmucl> cmucl

1 1

[cmucl-ticket] [cmucl] #4: symbol-macrolet + ignorable causes internal compiler error.
by cmucl 21 Jul '06

21 Jul '06

#4: symbol-macrolet + ignorable causes internal compiler error. --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 19c Keywords: | --------------------+------------------------------------------------------- The following causes an internal type error in the compiler because the compiler was expecting some kind of list: {{{ * (symbol-macrolet ((a 42)) (declare (ignorable a)) 4711) Type-error in KERNEL::OBJECT-NOT-TYPE-ERROR-HANDLER: (SYSTEM:MACRO . 42) is not of type C::LAMBDA-VAR [Condition of type TYPE-ERROR] }}} Reported on cmucl-imp, 2006/05/20. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/4> cmucl <http://common-lisp.net/project/cmucl> cmucl

1 1