(sweep-close-query)
(if (sweep-true-p sol)
(message "Prolog flag %s set to %s" flag value)
- (user-error "Setting %s to %s failed" flag value))))
+ (user-error "Setting %s to %s failed!" flag value))))
(defun sweep-setup-message-hook ()
(with-current-buffer (get-buffer-create sweep-messages-buffer-name)
(sweep-close-query)
(if (sweep-true-p sol)
(message "Package install successful.")
- (user-error "Pacakge installation failed"))))
+ (user-error "Pacakge installation failed!"))))
;; (defun sweep-file-handler (operation &rest args)
;; (cond ((eq operation 'expand-file-name) (apply sweep-expand-file-name args) )
(cons contents (buffer-file-name)))
(let ((sol (sweep-next-solution)))
(sweep-close-query)
- sol))))
+ (if (sweep-true-p sol)
+ (message "Loaded %s." (buffer-name))
+ (user-error "Loading %s failed!" (buffer-name)))))))
;;;###autoload
(defun sweep-top-level (&optional buffer)
(define-key map "m" #'sweep-find-module)
(define-key map "p" #'sweep-find-predicate)
(define-key map "t" #'sweep-top-level)
+ (define-key map "l" #'sweep-load-buffer)
(define-key map "P" #'sweep-pack-install)
(define-key map "F" #'sweep-set-prolog-flag)
(define-key map "e" #'sweep-view-messages)
(defvar sweep-mode-map
(let ((map (make-sparse-keymap)))
-;; (define-key map (kbd "C-c C-l") #'sweep-load-buffer)
+ (define-key map (kbd "C-c C-l") #'sweep-load-buffer)
(define-key map (kbd "C-c C-c") #'sweep-colourise-buffer)
(define-key map (kbd "C-c C-t") #'sweep-top-level)
map)
"Keymap for `sweep-mode'.")
-;; (defvar-keymap sweep-mode-map
-;; :doc "Keymap for `sweep-mode'."
-;; ;;"C-c C-l" #'sweep-load-buffer
-;; "C-c C-c" #'sweep-colourise-buffer
-;; "C-c C-t" #'sweep-top-level)
-
(defun sweep-indent-line ()
(interactive)
(when-let ((pos (- (point-max) (point)))