     (insert (propertize
              (format "Starting:\n  stack ghci %s\n" (combine-and-quote-strings arguments))
              'face 'font-lock-comment-face))
-    (let ((script (with-current-buffer (find-file-noselect (make-temp-file "intero-script"))
+    (let ((script (with-current-buffer (find-file-noselect (intero-make-temp-file "intero-script"))
                     (insert ":set prompt \"\"
 :set -fobject-code
 :set prompt \"\\4 \"

(defvar-local intero-temp-file-name nil
  "The name of a temporary file to which the current buffer's content is copied.")

(defun intero-temp-file-name (&optional buffer)
  "Return the name of a temp file containing an up-to-date copy of BUFFER's contents."
  (with-current-buffer (or buffer (current-buffer))

            (list "--no-build"))
          (when no-load
            (list "--no-load"))
          (let ((dir (intero-make-temp-file "intero" t)))
            (list "--ghci-options"
                  (concat "-odir=" dir)
                  "--ghci-options"
