 
 See URL `http://saw.galois.com' for more information."
     :command ("saw" "--output-locations" source-inplace)
-    
-    ;; :error-patterns ((info (message (1+ (seq ?\n ?\t (1+ (not (any ?\n)))))))
-    ;;                  (error line-start (file-name) ":" line ":" column "-" (1+ digit) ":" (1+ digit) ":"
-    ;;                         (message) line-end)
-    ;;                  (error (seq line-start "[error] at " (file-name (1+ (not (any ?\:)))) ":" line ":" column
-    ;;                              "--" (group (1+ digit)) ":" (group (1+ digit)) ":"
-    ;;                              (message (1+ (seq "\n " (1+ (not (any ?\n))))))))
-    ;;                  (warning (seq line-start "[warning] at " (file-name (1+ (not (any ?\:)))) ":" line ":" column
-    ;;                                "--" (group (1+ digit)) ":" (group (1+ digit)) ":"
-    ;;                                (message (1+ (seq "\n " (1+ (not (any ?\n)))))))))
     :error-parser saw-script--flycheck-parse
     :modes (saw-script-mode))
   (add-to-list 'flycheck-checkers 'saw-script))


(require 'compile)
(require 'cl-lib)

;;; Configuration


          (overlay-put overlay 'saw-script-output output)
          (overlay-put overlay 'face 'underline))))))

(defun saw-script--context-menu-items (plist)
  "Compute context menu items for PLIST."
  (let ((output (plist-get plist 'saw-script-output)))
    (if output
        (list (list "Show Output"
                    (let ((loc (point)))
                      (lambda ()
                        (interactive)
                        (saw-script-view-output loc)))))
      (list))))

(defun saw-script-output-buffer-name (file)
  "Find the name for output from FILE."
  (format "*SAW Output[%s]*" file))

(defun saw-script--view-overlay-output (overlay)
  "View the SAWScript output in OVERLAY."
  (let ((output (overlay-get overlay 'saw-script-output))
        (buffer (get-buffer-create (saw-script-output-buffer-name (buffer-file-name)))))
    (with-current-buffer buffer
      (read-only-mode 1)
      (let ((inhibit-read-only t))
        (widen)
        (erase-buffer)
        (insert output)
        (goto-char (point-min)))
      (pop-to-buffer buffer))))


(defun saw-script-view-output (pos)
