http://permalink.gmane.org/gmane.lisp.cmucl.general hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.lisp.cmucl.general/6489 <pre> Here's a related test case: (defun %show-issue (instance) (when (typep instance 'foo) (change-class instance 'bar) (format t "~&amp;;; Inlined TYPEP: ~s (~:*~:[correct~;incorrect~])~ ~%;; Not-inlined TYPEP: ~s (~:*~:[correct~;incorrect~])~%" (typep instance 'foo) (locally (declare (notinline typep)) (typep instance 'foo))))) (%show-issue (make-instance 'foo)) I don't know whether that passes or fails on CMUCL, but it does reveal a too-optimistic inlining (or maybe constraint propagation) on SBCL -- so it might be worth checking. Best, Christophe _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Christophe Rhodes 2012-02-12T13:58:29 http://permalink.gmane.org/gmane.lisp.cmucl.general/6488 <pre> Ray, With the 2012-02 snapshot, I also only see the issue with the DEFMETHOD version. Here is the newest test code that I ran: (in-package :cl-user) (defclass foo () ()) (defclass bar () ()) (defmethod no-issue ((instance foo)) (%show-issue instance)) (defun %show-issue (instance) (change-class instance 'bar) (format t "~&amp;;; Inlined TYPEP: ~s (~:*~:[correct~;incorrect~])~ ~%;; Not-inlined TYPEP: ~s (~:*~:[correct~;incorrect~])~%" (typep instance 'foo) (locally (declare (notinline typep)) (typep instance 'foo)))) (defmethod show-issue ((instance foo)) (change-class instance 'bar) (format t "~&amp;;; Inlined TYPEP: ~s (~:*~:[correct~;incorrect~])~ ~%;; Not-inlined TYPEP: ~s (~:*~:[correct~;incorrect~])~%" (typep instance 'foo) (locally (declare (notinline typep)) (typep instance 'foo)))) (format t "~&amp;;;; No issue:~%") (no-issue (make-instance 'foo)) (format t "~2&amp;;;; Issue:~%") (show-issue (make-instance</pre> Dan Corkill 2012-02-12T12:57:28 http://permalink.gmane.org/gmane.lisp.cmucl.general/6487 <pre>I placed your code in a file and compiled and loaded it with the 2012-02 snapshot. I get CL-USER&gt; (show-bug (make-instance 'foo)) ;; Inlined TYPEP: NIL (incorrect) ;; Not-inlined TYPEP: NIL (correct) What version exactly are you using and how did you run your example to get an incorrect result? Ray _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Raymond Toy 2012-02-12T05:29:10 http://permalink.gmane.org/gmane.lisp.cmucl.general/6486 <pre> I fully agree (and apologies for the confusion caused by my quick-and-dirty example). The issue doesn't require being within an instance method--as the following vanilla-function example shows. (in-package :cl-user) (defclass foo () ()) (defclass bar () ()) (defun show-bug (instance) (change-class instance 'bar) (format t "~&amp;;; Inlined TYPEP: ~s (incorrect)~%;; Not-inlined TYPEP: ~s (correct)~%" (typep instance 'foo) (locally (declare (notinline typep)) (typep instance 'foo)))) (show-bug (make-instance 'foo)) </pre> Dan Corkill 2012-02-05T14:57:44 http://permalink.gmane.org/gmane.lisp.cmucl.general/6485 <pre> Changing the class of an instance within a method specializing on that instance to a class where the method would no longer have been called is one of the things that the CLHS description of change-class calls "semantic difficulties". Not speaking for CMUCL developers, I would call it a downright bad idea to mess with the classes of specialized instances in methods -- allowing the programmer to do invalidates whole classes of CLOS optimizations. The CLHS specifically calls out slot access, but that's just one case of a general problem: after you issue the change-class, the method currently running is no longer an applicable method to the instance, so all the compiler assumptions have just been invalidated, and all the run-time calculations of next methods also (though they're not present in your example). Best, Christophe _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Christophe Rhodes 2012-02-05T11:57:23 http://permalink.gmane.org/gmane.lisp.cmucl.general/6484 <pre>Recent CMUCL releases (including the current one), incorrectly over-optimize TYPEP and miss the class change resulting from CHANGE-CLASS. The following example, when placed in a file and compiled, shows the issue: (in-package :cl-user) (defclass foo () ()) (defclass bar () ()) (defmethod show-bug ((instance foo)) (change-class instance 'bar) (format t "~&amp;;; Inlined TYPEP: ~s (incorrect)~%;; Not-inlined TYPEP: ~s (correct)~%" (typep instance 'foo) (locally (declare (notinline typep)) (typep instance 'foo)))) (show-bug (make-instance 'foo)) </pre> Dan Corkill 2012-02-05T11:18:21 http://permalink.gmane.org/gmane.lisp.cmucl.general/6483 <pre>Apologies for the multiple postings. PAPER SUBMISSION DEADLINE EXTENDED European Lisp Symposium 2012, Zadar, Croatia, April 30th - May 1st, 2012 http://european-lisp-symposium.org The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, and so on. We encourage everyone interested in Lisp to participate. The main theme of the 2012 European Lisp Conference is "Interoperability: Systems, Libraries, Workflows". Lisp based and functional-languages based systems have grown a variety of solutions to become more and more integrated with the wider world of Information and Communication Technologies in current use. There are several dimensions to the scope of the solutions proposed, ranging from "embedding" of interpreters in C-based syste</pre> Marco Antoniotti 2012-02-01T13:11:37 http://permalink.gmane.org/gmane.lisp.cmucl.general/6482 <pre> These are all available now as well as better trac and git integration. Commit messages can now automatically close trac tickets. See http://trac.common-lisp.net/cmucl/wiki for some additional information. Ray _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Raymond Toy 2011-09-21T03:39:05 http://permalink.gmane.org/gmane.lisp.cmucl.general/6481 <pre>Cmucl is now officially moving to git. The CVS repo will be turned off soon, and, in fact, should no longer be used at all. The repo will still be available for historical reasons, but no new code should be checked in to it. We had planned on moving to git almost a year ago, but for various reasons never got around to it until now. Additional information will be placed on cmucl's trac wiki, but for now, you can view the repo using trac (coming soon to http://trac.common-lisp.net/cmucl/browser) or directly at &lt;http://common-lisp.net/gitweb?p=projects/cmucl/cmucl.git;a=summary;js=1&gt; For now you can clone the repo using git clone git://common-lisp.net/projects/cmucl/cmucl.git src or for developers git clone ssh://&lt;user&gt;&lt; at &gt;common-lisp.net/var/git/projects/cmucl/cmucl.git src There is a minor issue to be taken care of: What to do with the RCS keywords that are in all of the files. I rather like seeing that information when you describe something. (Mostly to see when the file was last modified.) Ray _</pre> Raymond Toy 2011-09-17T16:23:53 http://permalink.gmane.org/gmane.lisp.cmucl.general/6480 <pre>Folks -- Is there a way to get pressure events from a wacom tablet in CLX? I'm running CLX under X11 for Mac OS X (and, Tiger 10.4.11 ... I know, I know, but thought I would ask). thanks, -f livegraphicsnightly.com "If Veli's Graphics Bar didn't exist, we'd have to invent it." H Lieberman _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> fred 2011-08-01T07:08:07 http://permalink.gmane.org/gmane.lisp.cmucl.general/6479 <pre> On Jun 28, 2011, at 14:54 , Raymond Toy wrote: No problem.... -- Marco Antoniotti _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Marco Antoniotti 2011-06-28T17:06:45 http://permalink.gmane.org/gmane.lisp.cmucl.general/6478 <pre> Marco&gt; Hi Marco&gt; the following link does not work Marco&gt; http://common-lisp.net/project/cmucl/downloads/snapshots/2011/06/cmucl-2011-06-x86-darwin.tar.bz2 Ooops. Yes, you can't download that because it doesn't exist. It seems I forgot to upload the binaries, even though I made them. :-( It's being uploaded now. Sorry about that! Ray _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Raymond Toy 2011-06-28T12:54:12 http://permalink.gmane.org/gmane.lisp.cmucl.general/6477 <pre>Hi the following link does not work http://common-lisp.net/project/cmucl/downloads/snapshots/2011/06/cmucl-2011-06-x86-darwin.tar.bz2 cheers -- Marco Antoniotti _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Marco Antoniotti 2011-06-28T12:12:44 http://permalink.gmane.org/gmane.lisp.cmucl.general/6476 <pre> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism &amp; Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsors: EPITA, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ News: ~~~~~ * The final program is now online. * The early registration deadline is in 3 days, so hurry! Registration will still be possible afterwards. Invited Speakers: ~~~~~~~~~~~~~~~~~ Craig Zilles -- Compiling for the common case Marc Battyani -- Reconfigurable computing on steroids Apostolos Syropoulos -- Scala: an OO surprise Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp dialects, including Common Lisp, Schem</pre> Didier Verna 2011-03-09T16:30:13 http://permalink.gmane.org/gmane.lisp.cmucl.general/6475 <pre> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism &amp; Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsored by EPITA, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Registration is now open! See http://www.european-lisp-symposium.org/content-registration-full.html for details. The deadline for early registration is March 12. There is a reduced fee for students and accompanying persons. You may also subscribe to mailing lists for this year's occurrence on the registration page. Invited Speakers: ~~~~~~~~~~~~~~~~~ Craig Zilles -- Compiling for the common case Marc Battyani -- Reconfigurable computing on steroids Apostolos Syropoulos -- Scala: an OO surprise The complete program will be available shortly. Scope ~~~~</pre> Didier Verna 2011-02-15T15:34:02 http://permalink.gmane.org/gmane.lisp.cmucl.general/6474 <pre>Thank you for the note. I was going to remove your address from the mailing list if there were any more spam. Ray _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Raymond Toy 2011-01-22T16:50:26 http://permalink.gmane.org/gmane.lisp.cmucl.general/6473 <pre> Good morning, My account has been hijacked last night. Sorry for the resulting spam... Remy Chretien Le 22/01/2011 09:14, Rémy a écrit : _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Rémy Chrétien 2011-01-22T16:34:46 http://permalink.gmane.org/gmane.lisp.cmucl.general/6472 <pre>http://gadgetandservice.com/index-sl122.php _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Rémy 2011-01-22T08:14:50 http://permalink.gmane.org/gmane.lisp.cmucl.general/6471 <pre> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism &amp; Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsored by EPITA, Lispworks, Franz Inc. and Nova Sparks ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Important Dates ~~~~~~~~~~~~~~~~ + Submission Deadline: January 16, 2011 --- EXTENDED + Author Notification: February 06, 2011 + Final Paper Due: February 28, 2011 + Symposium: March 31 - April 1st, 2011 Authors of accepted research contributions will be invited to submit an extended version of their papers for journal publication. Invited Speakers: ~~~~~~~~~~~~~~~~~ Marc Battyani (Nova Sparks) Craig Zilles (University of Illinois) Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all</pre> Didier Verna 2011-01-10T10:47:47 http://permalink.gmane.org/gmane.lisp.cmucl.general/6470 <pre> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism &amp; Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsored by EPITA, Lispworks, Franz Inc. and Nova Sparks ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Invited Speakers: ~~~~~~~~~~~~~~~~~ Marc Battyani (Nova Sparks) Craig Zilles (University of Illinois) Important Dates ~~~~~~~~~~~~~~~~ + Submission Deadline: January 09, 2011 + Author Notification: February 06, 2011 + Final Paper Due: February 28, 2011 + Symposium: March 31 - April 1st, 2011 Authors of accepted research contributions will be invited to submit an extended version of their papers for journal publication. Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of d</pre> Didier Verna 2010-12-14T16:13:54 http://permalink.gmane.org/gmane.lisp.cmucl.general/6469 <pre> Currently, you have two options. Option 1: compile with speed &lt; 3. Option 2: use (declare (optimize (ext:inhibit-warnings 3))). You could, of course, use either option 1 or 2, wrapped inside a LOCALLY wrapped around your call to unix-ioctl. Ray _______________________________________________ cmucl-help mailing list cmucl-help&lt; at &gt;cmucl.cons.org http://lists.zs64.net/mailman/listinfo/cmucl-help </pre> Raymond Toy 2010-11-13T19:35:35 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.lisp.cmucl.general