   (flycheck-mode)
   (flycheck-buffer))
 
-(defun intero-make-options-list (targets no-build)
+(defun intero-make-options-list (targets no-build no-load)
   "Make the stack ghci options list."
   (append (list "--with-ghc"
                 "intero"
                 "--docker-run-args=--interactive=true --tty=false"
-                "--no-load"
                 )
           (when no-build
             (list "--no-build"))
+          (when no-load
+            (list "--no-load"))
           (let ((dir (make-temp-file "intero" t)))
             (list "--ghci-options"
                   (concat "-odir=" dir)


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

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

                 (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))
             t ;; pass --no-load
             ))
           (arguments options)
           (process (with-current-buffer buffer
                      (when debug-on-error
