Read a file into a character-list.
;; Returns a character list, or nil if the file does not exist. ;; May be faster than read-file-characters from std/io. ;; Note that this does not return state (see :doc read-file-into-string ;; for an explanation). (defund read-file-into-character-list (filename state) (declare (xargs :guard (stringp filename) :stobjs state)) (let ((string (read-file-into-string filename))) (if (not string) nil (coerce string 'list))))