   "Highlight ISSUE in current buffer.
 PARENT is the overlay whose processing caused this issue to be
 reported."
-  (let* ((loc (fstar-issue-loc issue))
-         (from (fstar--row-col-offset (fstar-location-line-from loc)
-                                 (fstar-location-col-from loc)))
-         (to (fstar--row-col-offset (fstar-location-line-to loc)
-                               (fstar-location-col-to loc)))
-         (overlay (make-overlay from (max to (1+ from)) (current-buffer) t nil)))
+  (-when-let* ((loc (car (fstar-issue-locs issue)))
+               (from (fstar--row-col-offset (fstar-location-line-from loc)
+                                       (fstar-location-col-from loc)))
+               (to (fstar--row-col-offset (fstar-location-line-to loc)
+                                     (fstar-location-col-to loc)))
+               (overlay (make-overlay from (max to (1+ from)) (current-buffer) t nil)))
     (overlay-put overlay 'fstar-subp-issue t)
     (overlay-put overlay 'fstar-subp-issue-parent-overlay parent)
     (overlay-put overlay 'face (fstar-subp-issue-face issue))

        (setq issue-level level)
        (setq message (substring message (length marker)))))
    (make-fstar-issue :level issue-level
                      :loc (make-fstar-location
                            :filename filename
                            :line-from (string-to-number line-from)
                            :col-from (string-to-number col-from)
                            :line-to (string-to-number line-to)
                            :col-to (string-to-number col-to))
                      :alternate-loc nil
                      :message message)))

(defun fstar-subp-json--parse-location (json)

(defun fstar-subp-json--parse-issue (json)
  "Convert JSON issue into fstar-mode issue."
  (let-alist json
    (make-fstar-issue
     :level (intern .level)
     :locs (mapcar #'fstar-subp-json--parse-location .ranges)
     :message .message)))

(defun fstar-subp-parse-issues (response)
  "Parse RESPONSE into a list of issues."
