                     (lean-info-id-symbol-body-str id)))
            (id   (lean-info-id-symbol-body-str id))
            (sym  (lean-info-id-symbol-body-str sym))))
+    (when coercion
+      (setq coercion-str (lean-info-coercion-body-str coercion)))
     (when type
       (setq type-str (lean-info-type-body-str type)))
     (when (and name-str overload)


Take out \"BEGININFO\" and \"ENDINFO\" and Use \"ACK\" as a delim."
  (-split-on "-- ACK"
             (--filter (not (or (string= "-- BEGININFO" it)
                                (string= "-- ENDINFO" it)))
                       (split-string str "\n"))))


  (let ((info-list (lean-info-list-parse-string str))
        start-column)
    (cond
     ;; When file-name/column-number is specified, try to start-column of id/symbol
     ((and file-name column-number)
      (setq start-column (lean-info-list-find-start-column info-list file-name column-number))
