    "\n$" ""
    (intero-blocking-call
     'backend
-    (format ":loc-at %S %d %d %d %d %S"
-            (intero-localize-path (intero-temp-file-name))
+    (format ":loc-at %s %d %d %d %d %S"
+            (intero-path-for-ghci (intero-temp-file-name))
             (save-excursion (goto-char beg)
                             (line-number-at-pos))
             (save-excursion (goto-char beg)

    (intero-with-dump-splices
     (let* ((output (intero-blocking-call
                     'backend
                     (concat ":load " (intero-localize-path (intero-temp-file-name)))))
            (msgs (intero-parse-errors-warnings-splices nil (current-buffer) output))
            (line (line-number-at-pos))
            (column (if (save-excursion

If PROMPT-OPTIONS is non-nil, prompt with an options list."
  (interactive "P")
  (save-buffer)
  (let ((file (intero-path-for-ghci (intero-buffer-file-name))))
    (intero-with-repl-buffer prompt-options
      (comint-simple-send
       (get-buffer-process (current-buffer))
