Explain list-of optimization.
authorFrancois-Rene Rideau <tunes@google.com>
Mon, 2 Jul 2012 22:09:39 +0000 (18:09 -0400)
committerFrancois-Rene Rideau <tunes@google.com>
Mon, 2 Jul 2012 22:09:39 +0000 (18:09 -0400)
list-of.lisp

index 6140caf..dff5f2a 100644 (file)
@@ -27,8 +27,8 @@
 
 (deftype list-of (type)
   (case type
-    ((t) 'list)
-    ((nil) 'null)
+    ((t) 'list) ;; a (list-of t) is the same as a regular list.
+    ((nil) 'null) ;; a (list-of nil) can have no elements, it's null.
     (otherwise
      (let ((predicate (list-of-predicate-for type)))
        (eval-at-toplevel ;; now, and amongst final-forms if enabled