Lines Matching refs:filename
3 ; Evaluation of (print-kpa lisp-filename ml-filename) prints to the indicated
73 (defun print-ml-string-triples-and-known-pkgs (triples pkg-names filename ctx
77 (open-output-channel filename :character state)
81 filename))
105 (defun print-imports-alist (filename ctx state)
108 (open-output-channel filename :object state)
112 filename))
120 (defmacro print-kpa (lisp-filename ml-filename)
121 `(let* ((lisp-filename ,lisp-filename)
122 (ml-filename ,ml-filename)
126 (er-progn (print-imports-alist lisp-filename 'print-kpa state)
128 triples pkg-names ml-filename 'print-kpa state)
130 (list (cons #\0 lisp-filename)
131 (cons #\1 ml-filename))
193 (defun note-chk-known-package-alist-success (filename state)
196 (open-output-channel filename :character state)
200 filename))