   (interactive)
   (if worker
       (intero-delete-worker worker)
-    (intero-delete-worker 'backend)
-    (intero-delete-worker 'repl)))
+    (intero-delete-worker 'backend)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; DevelMain integration

    (let ((targets (with-current-buffer (intero-buffer 'backend)
                     intero-targets)))
      (intero-destroy 'backend)
      (intero-get-worker-create 'backend targets (current-buffer))))
  (when (intero-buffer-p 'repl)
    (let ((targets (with-current-buffer (intero-buffer 'repl)
                     intero-targets)))
      (intero-destroy 'repl)
      (intero-get-worker-create 'backend targets (current-buffer)))))

(defun intero-targets ()

          (when (nth 8 (syntax-ppss))
            (setq type 'haskell-completions-general-prefix))
          (when value (list start end value type)))))))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; REPL

(define-derived-mode intero-repl-mode comint-mode "Intero-REPL"
  "Interactive prompt for Intero."
  :syntax-table haskell-mode-syntax-table
  (setq comint-prompt-regexp (concat "^" (regexp-quote intero-prompt)))
  (start-process "intero" (current-buffer)
                 "stack"
                 "ghci"
                 "--with-ghc"
                 "intero"
                 "--no-load"
                 "--no-build"))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Buffer operations
