 
 (defun fstar-subp--info-continuation (continuation pos success response)
   "Handle the results (SUCCESS and RESPONSE) of an #info query at POS.
-If response is valid, forward results (only type information for
-now) to CONTINUATION."
-  (when (and success
-             (eq (point) pos) ;; Point didn't move since request
-             (string-match fstar-subp--info-response-regex response))
-    (funcall continuation
-             (make-fstar-pos-info
-              :source-file (match-string 1 response)
-              :def-start (cons (string-to-number (match-string 2 response))
-                               (string-to-number (match-string 3 response)))
-              :def-end (cons (string-to-number (match-string 4 response))
-                             (string-to-number (match-string 5 response)))
-              :type (string-trim (substring response (match-end 0)))))))
+If response is valid, forward results to CONTINUATION.  With nil
+POS, this function can also handle results of #info-fqn queries."
+  (if (and success
+           (or (null pos) (eq (point) pos)) ;; Point didn't move since request
+           (string-match fstar-subp--info-response-regex response))
+      (funcall continuation
+               (make-fstar-pos-info
+                :source-file (match-string 1 response)
+                :def-start (cons (string-to-number (match-string 2 response))
+                                 (string-to-number (match-string 3 response)))
+                :def-end (cons (string-to-number (match-string 4 response))
+                               (string-to-number (match-string 5 response)))
+                :type (string-trim (substring response (match-end 0)))))
+    (funcall continuation nil)))
 
 (defun fstar--eldoc-continuation (info)
   "Display INFO as an eldoc message."
-  (eldoc-message (fstar-highlight-string (fstar-pos-info-type info))))
+  (when info
+    (eldoc-message (fstar-highlight-string (fstar-pos-info-type info)))))
 
 (defun fstar--eldoc-function ()
   "Issue a #info query for current point.

(require 'cl-lib)
(require 'eldoc)
(require 'help-at-pt)
(require 'flycheck nil t)

;;; Compatibility


;; Created: 27 Aug 2015
;; Version: 0.4
;; Package-Requires: ((emacs "24.3") (dash "2.11") (company "0.8.12"))
;; Keywords: convenience, languages

;; This file is not part of GNU Emacs.
