April 2012 - alexandria-devel - mailman3.common-lisp.net

[alexandria-devel] latest alexandria doesn't build on ECL due to non-standard LOOP
by Anton Vodonosov 18 Jan '18

18 Jan '18

Hello. Alexandria in the latest quicklisp has a regression comparing to quicklisp 2012-02-08. It doesn't build on ECL because on non-standard LOOP construct (it is tolerated by most Lisps, but not by ECL; see here: http://comments.gmane.org/gmane.lisp.ecl.general/3344) The compiler complains about copy-stream method in io.lisp. Build logs: https://cl-test-grid.appspot.com/blob?key=AMIfv97xRRWJgLOa5TvS78VriRK9mQ82m… Best regards, - Anton

2 1

[alexandria-devel] Question about FORMAT-SYMBOL
by Luís Oliveira 26 Jan '13

26 Jan '13

Hello, I often try to support Allegro's modern mode by doing things like (format-symbol t "~A-~A" :foo :bar). We just came across an issue on #quicklisp where a user had set his *PRINT-CASE* to :DOWNCASE and that caused FORMAT-SYMBOL to intern lower-case symbols, thus breaking the idiom I described. Should fix my code to use SYMBOLICATE instead or should FORMAT-SYMBOL use WITH-STANDARD-IO-SYNTAX? Any opinions? -- Luís Oliveira http://r42.eu/~luis

5 8

[alexandria-devel] Split up Alexandria into an additional experimental package?
by Tobias C Rittweiler 26 Apr '12

26 Apr '12

What is a good way to handle new additions to Alexandria that are not fully fledged out yet? As Hans noticed himself over this week, it usually takes an incredible amount of time and effort to come up with something with complete semantics. Time is a scarce resource, and even if it was not, only experience and actual usage will discover edges cases. Common Lisp itself has been tried out and implemented many times during the standardization process itself which is one of the reasons it's engineered as well as it is. What about providing an :ALEXANDRIA.EXPERIMENTAL package that uses :ALEXANDRIA? New additions go into the experimental package which is advertised not necessarily to be fully backwards compatible. People can explicitly :IMPORT-FROM that package (which will continue to work even when the symbol moves from there into :ALEXANDRIA, assuming no incompatible changes have been made.) T

1 0

[alexandria-devel] DESTRUCTURE-CLAUSES - alexandria_destruct#9CF676.diff (1/1)
by Tobias C Rittweiler 26 Apr '12

26 Apr '12

I was pleased to discover that DESTRUCTURING-CASE made it into Alexandria meanwhile. Very nice! This allows me to share the little gem that I'm attaching with this posting. It's a handy macro to make writing macros like DEFPACKAGE, DEFGENERIC of DEFREADTABLE easy like a breeze. Happy to be giving back again! :-) T diff --git a/macros.lisp b/macros.lisp index 4450435..0d4b9e9 100644 --- a/macros.lisp +++ b/macros.lisp @@ -303,4 +303,76 @@ Example: (setf (documentation name 'function) (documentation 'destructuring-case 'function))) +;;; DESTRUCTURE-CLAUSES +(defmacro destructure-clauses (clauses patterns &body body) + "Utility macro to conveniently destructure DEFPACKAGE like clauses. + + clauses ::= clause* + clause ::= (keyword . list) ; e.g. (:FOO 1 :K 2) + + patterns ::= pattern* + pattern ::= (keyword . ordinary-lambda-list) ; e.g. (:FOO N &KEY K) + +The CAR of each clause in CLAUSES will be tried to be matched against +the CAR of each pattern in PATTERNS. If a match is found, the CDR of +the matched pattern is interpreted as an ordinary lambda list and its +parameters are bound to the values provided by the CDR of the clause. + +When all CLAUSES are processed, BODY will be executed with all the +parameters of the matched patterns bound appropriately. Notice that +parameters must hence be named distinctively in each pattern. + +Example: + + (defmacro defpackage (name &body clauses) + (destructure-clauses clauses + ((:use &rest uses) + (:nicknames &rest nicknames) + (:export &rest exports) + ...) + (expand-defpackage name uses nicknames exports ...)) + +Implementation note: + + That a pattern consists of ordinary lambda list and not of + destructuring lambda lists is a /shortcoming/ of the current + implementation. Patches are welcome. +" + (multiple-value-bind (pattern-table vars n-vars) + (loop for pattern in patterns + for vars = (ordinary-lambda-list-parameters (cdr pattern)) + for n-vars = (mapcar #'make-gensym vars) + collect (cons pattern (list vars n-vars)) into pattern-mappings + append vars into all-vars + append n-vars into all-n-vars + finally + (return (values (alist-hash-table pattern-mappings) + all-vars + all-n-vars))) + (with-unique-names (clause) + `(let ,n-vars + (dolist (,clause ,clauses) + (destructuring-ecase ,clause + ,@(loop for p in patterns + for (pattern-vars pattern-n-vars) = (gethash p pattern-table) + collect `(,p ,@(loop for var in pattern-vars + for n-var in pattern-n-vars + collect `(setq ,n-var ,var)))))) + (let ,(mapcar #'list vars n-vars) + ,@body))))) + +(defun ordinary-lambda-list-parameters (ordinary-lambda-list) + "Return a list of all parameter names in ORDINARY-LAMBDA-LIST." + (flet ((optional-parameter-name (spec) + (car spec)) + (key-parameter-name (spec) + (second (first spec)))) + (multiple-value-bind (reqs opts rest keys aok auxs) + (parse-ordinary-lambda-list ordinary-lambda-list) + (assert (null aok) () "&ALLOW-OTHER-KEYS not supported.") + (assert (null auxs) () "&AUX not supported.") + (append reqs + (mapcar #'optional-parameter-name opts) + (ensure-list rest) + (mapcar #'key-parameter-name keys))))) \ No newline at end of file diff --git a/package.lisp b/package.lisp index babeb95..a025cc7 100644 --- a/package.lisp +++ b/package.lisp @@ -240,4 +240,5 @@ #:destructuring-case #:destructuring-ccase #:destructuring-ecase + #:destructure-clauses )) diff --git a/tests.lisp b/tests.lisp index e218113..51ea8ca 100644 --- a/tests.lisp +++ b/tests.lisp @@ -1856,3 +1856,47 @@ (when err (incf n)))))) 13) + +(deftest destructure-clauses.1 + (let ((+clauses+ '((:required-1 :R1) + (:required-n :R2 :R3 :R4) + (:optional-0) + (:optional-1 :O2) + (:key-0) + (:key-1 :KEY2 :K2) + (:key-n :KEY3 :K3 :KEY4 :K4) + (:required+optional-0 :R5) + (:required+optional-1 :R6 :O4) + (:required+key :R7 :R8 :KEY5 :K5)))) + (destructure-clauses +clauses+ + ((:required-1 req1) + (:required-n req2 req3 req4) + (:optional-0 &optional (opt1 :O1)) + (:optional-1 &optional opt2) + (:key-0 &key (key1 :K1)) + (:key-1 &key key2) + (:key-n &key key3 key4) + (:required+optional-0 req5 &optional (opt3 :O3)) + (:required+optional-1 req6 &optional opt4) + (:required+key req7 req8 &key key5)) + (values + (list req1) + (list req2 req3 req4) + (list opt1) + (list opt2) + (list key1) + (list key2) + (list key3 key4) + (list req5 opt3) + (list req6 opt4) + (list req7 req8 key5)))) + (:R1) + (:R2 :R3 :R4) + (:O1) + (:O2) + (:K1) + (:K2) + (:K3 :K4) + (:R5 :O3) + (:R6 :O4) + (:R7 :R8 :K5)) \ No newline at end of file

3 4

[alexandria-devel] Proposed addition of temporary file creation utilities
by Hans Hübner 26 Apr '12

26 Apr '12

Hi, following up on an IRC discussion yesterday, I am proposing the addition of the OPEN-TEMPORARY function and WITH-OPEN-TEMPORARY-FILE macro below (and on http://paste.lisp.org/display/129090#14) It implements functionality that is commonly required, but that is not available in any other library in a portable fashion. osicat has been suggested, but it does not implement temporary file handling on Windows. This posting is to determine whether there is opposition regarding inclusion in Alexandria. I'll re-post as a proper patch including symbol exports when there is agreement to include it. -Hans (in-package :alexandria) (defparameter *default-temporary-directory* #P"/tmp/") (eval-when (:load-toplevel :execute) (when (and (null (logical-pathname-translations "TEMPORARY-FILES")) (probe-file *default-temporary-directory*)) (setf (logical-pathname-translations "temporary-files") `(("*.*.*" ,*default-temporary-directory*))))) (defparameter *max-tries* 10000) (defun generate-random-name (prefix) (format nil "~A-~36R-~36R" prefix (random 100000000) (get-internal-real-time))) (define-condition cannot-create-temporary-file (error) ((directory :initarg :directory) (prefix :initarg :prefix) (type :initarg :type) (max-tries :initarg :max-tries)) (:report (lambda (condition stream) (with-slots (directory prefix type max-tries) condition (format stream "cannot create temporary file in directory ~A with template ~A.~A, giving up after ~D attempt~:P" (translate-logical-pathname directory) prefix type max-tries))))) (defun open-temporary (&rest open-arguments &key type (prefix "temp") (directory #P"TEMPORARY-FILES:") (generate-random-name 'generate-random-name) (max-tries *max-tries*) &allow-other-keys) "Create a file with a randomly generated name and return the opened stream. The generated pathname consists of the PREFIX with a pseudo-random suffix. Its type will be TYPE. Temporary files are generated in DIRECTORY which defaults to the logical pathname temporary TEMPORARY-FILES:, which must be properly set up. The name of the temporary file can be accessed calling the PATHNAME function on STREAM. For convenience, the temporary file is opened on the physical pathname, i.e. the pathname translation is performed before opening the stream. GENERATE-RANDOM-NAME can be passed to override the default function that transforms PREFIX into a pseudorandom file name. It needs to accept one argument, the PREFIX string passed, and return the generated file name. In order to create a unique file name, OPEN-TEMPORARY may loop internally up to MAX-TRIES times before giving up and signalling a CANNOT-CREATE-TEMPORARY-FILE condition." (loop thereis (apply #'open (translate-logical-pathname (make-pathname :name (funcall generate-random-name prefix) :type type :defaults directory)) :direction :output :if-exists nil (remove-from-plist open-arguments :type prefix directory generate-random-name max-tries)) repeat max-tries finally (error 'cannot-create-temporary-file :directory directory :prefix prefix :type type :max-tries max-tries))) (defmacro with-open-temporary-file ((stream &rest args) &body body) "Create a temporary file using OPEN-TEMPORARY with ARGS and run BODY with STREAM bound to the temporary file stream. See OPEN-TEMPORARY for permitted options." `(with-open-stream (,stream (open-temporary ,@args)) ,@body))

8 18

[alexandria-devel] EXTREMUM
by Tobias C Rittweiler 25 Apr '12

25 Apr '12

The cl-utilities library contains one function which cannot be found in alexandria that necessity pops up every now and then: Returning the maximum (or minimum) element in a sequence with respect to an arbitrary calculation involving the elements. I.e. (elt (sort (copy-sequence <SEQUENCE>) #'< :key <FUNCTION>) 0) ; or #'> except doing it more efficiently. CL-UTILITIES calls this function EXTREMUM. (It also provides a couple of more functions along the lines to cover some edge cases.) The code can be found here: http://common-lisp.net/viewvc/cl-utilities/cl-utilities/extremum.lisp?rev ision=1.10&view=markup As the code is Public Domain, it could just be moved as is. I find no other use of cl-utilities and would like to see it become entirely obsolete. T

2 3

[alexandria-devel] Some number patches
by Robert Smith 25 Apr '12

25 Apr '12

Hello all: I've decided I'm going to try to merge in stuff from my QTILITY library [1] in an attempt to reduce the number of utility libraries out there -- provided the stuff fits with the goals of Alexandria. Xach and I decided it's best not to add more utility libraries to Quicklisp. I've created a patch that adds MULF and DIVF, which do what you might expect (modify macros for * and /). I also added some numerical predicates that I myself like, as well as others: POSITIVEP, NEGATIVEP, NON-POSITIVE-P, NON-NEGATIVE-P, NON-ZERO-P. As you might notice, they sound especially familiar to those who read mathematics literature. Also, would it be possible for me to have push permissions? I hope you'll take these attached patches into consideration. Thanks, Robert Smith [1] https://bitbucket.org/tarballs_are_good/qtility/src

4 4

[alexandria-devel] test failures on ACL and CMUCL
by Anton Vodonosov 22 Apr '12

22 Apr '12

Hello. I wander if it's a known issue that alexandria tests fail on ACL and CMUCL? (there also failures on CLISP, but they are marked as "known failres" in the test suite) For you convenience here is the list of failed tests and what compilers are affected by each failure (from the test results we collected on the recent Quicklisp): "alist-hash-table.1" => ("clisp-2.49+-unix") "copy-hash-table.1" => ("acl-8.2a-linux-x64" "clisp-2.49+-unix") "copy-sequence.1" => ("cmu-20c_release-20c__20c_unicode_-linux-x86") "plist-hash-table.1" => ("clisp-2.49+-unix") "type=.3" => ("acl-8.2a-linux-x64") "type=.4" => ("acl-8.2a-linux-x64") More information (with the test run logs where more details may be found): http://common-lisp.net/project/cl-test-grid/pivot_lib_ql-lisp.html Best regards, - Anton

3 3

[alexandria-devel] [PATCH] PROG1-LET
by Benjamin Saunders 12 Apr '12

12 Apr '12

PROG1-LET is a binding macro modeled closely after WHEN-LET and friends, which I have regularly found useful in code to implement the "create, modify, return" pattern common in some imperative code. As a simple and, I believe, widely useful macro, I'd like to see this enter into Alexandria proper. Docstring follows: Creates new variable bindings and executes FORMS, returning the initial value of the first binding. BINDINGS must be either single binding of the form: (variable initial-form) or a list of bindings of the form: ((variable initial-form) (variable-2 initial-form-2) ... (variable-n initial-form-n)) All initial-forms are executed sequentially in the specified order, then all the variables are bound to the corresponding values and FORMS are executed as an implicit PROGN. Finally, the value returned by INITIAL-FORM is returned.

5 12

[alexandria-devel] Reminder alexandria:curry is not currying
by Tomohiro Matsuyama 12 Apr '12

12 Apr '12

Hi, Is there any progress on this discussion? http://www.mail-archive.com/alexandria-devel@common-lisp.net/msg00199.html I really won't use `curry' as partial application. I hope `partial-apply' will be soon available. -- Tomohiro Matsuyama <tomo(a)cx4a.org>

4 6