                         (let ((package-name (buffer-local-value 'intero-package-name buffer)))
                           (unless (equal "" package-name)
                             (list package-name))))
-                    t)))
+                    intero-repl-no-build
+                    intero-repl-no-load)))
     (insert (propertize
              (format "Starting:\n  stack ghci %s\n" (combine-and-quote-strings arguments))
              'face 'font-lock-comment-face))

                 (let ((package-name (buffer-local-value 'intero-package-name buffer)))
                   (unless (equal "" package-name)
                     (list package-name))))
             (not (buffer-local-value 'intero-try-with-build buffer))))
           (arguments options)
           (process (with-current-buffer buffer
                      (when debug-on-error


(defconst intero-prompt-regexp "^\4 ")

(defun intero-repl-options ()
  "Open an option menu to set options used when starting the REPL."
  (interactive)
  (let* ((old-options
          (list
            (list :key "load-all"
                  :title "Load all modules"
                  :default (not intero-repl-no-load))
            (list :key "build-first"
                  :title "Build project first"
                  :default (not intero-repl-no-build))))
         (new-options (intero-multiswitch "REPL Options:" old-options)))
    (setq intero-repl-no-load (not (member "load-all" new-options)))
    (setq intero-repl-no-build (not (member "build-first" new-options)))))

(defun intero-repl-load ()
  "Load the current file in the REPL."
  (interactive)
