     (pop-to-buffer repl-buffer)))
 
 (defun intero-repl (&optional prompt-options)
-  "Start up the REPL for this stack project, prompting with an
-options list if PROMPT-OPTIONS is t."
+  "Start up the REPL for this stack project.
+If PROMPT-OPTIONS is non-nil, prompt with an options list."
   (interactive "P")
   (switch-to-buffer (intero-repl-buffer prompt-options)))
 
 (defun intero-repl-buffer (prompt-options)
-  "Start the REPL buffer, prompting with an options list if
-PROMPT-OPTIONS is t."
+  "Start the REPL buffer.
+If PROMPT-OPTIONS is non-nil, prompt with an options list."
   (let* ((root (intero-project-root))
          (package-name (intero-package-name))
          (name (format "*intero:%s:%s:repl*"

(make-variable-buffer-local 'intero-deleting)

(defvar intero-give-up nil
  "The backend could not start, or could not be
  installed. Abandon trying to automate it. The user will have to
  manually run M-x intero-restart or M-x intero-targets to
  destroy the buffer and create a fresh one without this variable
  enabled.")
(make-variable-buffer-local 'intero-give-up)

(defvar intero-try-with-build nil
  "Try starting intero without --no-build. Slower, but will build
  required dependencies.")
(make-variable-buffer-local 'intero-try-with-build)

(defvar intero-starting nil
  "Is the intero process starting up?")
(make-variable-buffer-local 'intero-starting)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(add-to-list 'flycheck-checkers 'intero)

(defun intero-parse-errors-warnings (checker buffer string)
  "Parse flycheck errors and warnings.
CHECKER and BUFFER are added to each item parsed from STRING."
  (with-temp-buffer
    (insert string)
    (goto-char (point-min))
