|
5 | 5 | ;; Author: Stefan Monnier <[email protected]>
|
6 | 6 |
|
7 | 7 | ;; Version: 0
|
8 |
| -;; Keywords: |
| 8 | +;; Package-Requires: ((emacs "24.4")) |
| 9 | +;; Keywords: languages |
| 10 | +;; URL: https://github.com/Beluga-lang/Beluga |
9 | 11 |
|
10 | 12 | ;; This program is free software; you can redistribute it and/or modify
|
11 | 13 | ;; it under the terms of the GNU General Public License as published by
|
@@ -127,10 +129,9 @@ in unicode using Font Lock mode."
|
127 | 129 | ("|-" ["⊢"])
|
128 | 130 | ("\\not" ["¬"])
|
129 | 131 | ("::" ["∷"])
|
130 |
| - ("FN" ["Λ"]) |
131 |
| -) |
| 132 | + ("FN" ["Λ"])) |
132 | 133 |
|
133 |
| -(defgroup beluga-mode () |
| 134 | +(defgroup beluga () |
134 | 135 | "Editing support for the Beluga language."
|
135 | 136 | :group 'languages)
|
136 | 137 |
|
@@ -520,7 +521,7 @@ returned. Else, nil is returned."
|
520 | 521 | ;; These build off the basic commands, and will typically do something
|
521 | 522 | ;; like parse the response or display it in a message.
|
522 | 523 |
|
523 |
| -(defun beli () |
| 524 | +(defun beluga-beli () |
524 | 525 | "Start beli mode."
|
525 | 526 | (interactive)
|
526 | 527 | (beluga-start))
|
@@ -582,8 +583,7 @@ This will update `beluga--last-load-time' if a load is performed."
|
582 | 583 | (ol (beluga--create-overlay pos))
|
583 | 584 | (info (beluga--basic-printhole-n! i)))
|
584 | 585 | (overlay-put ol 'help-echo info)
|
585 |
| - (push ol beluga--holes-overlays) |
586 |
| - )))) |
| 586 | + (push ol beluga--holes-overlays))))) |
587 | 587 |
|
588 | 588 | (defun beluga--get-hole-overlay! (hole)
|
589 | 589 | "Get the overlay associated with HOLE."
|
@@ -774,8 +774,7 @@ Otherwise, `match-string' 1 will contain the name of the matched short.")
|
774 | 774 | (1 font-lock-type-face))
|
775 | 775 |
|
776 | 776 | (,(concat beluga-syntax-fundec-re "\\s-+\\(" beluga-syntax-id-re "\\)")
|
777 |
| - (2 font-lock-function-name-face)) |
778 |
| - )) |
| 777 | + (2 font-lock-function-name-face)))) |
779 | 778 |
|
780 | 779 | (defcustom beluga-indent-basic 4
|
781 | 780 | "Basic amount of indentation."
|
@@ -1045,8 +1044,7 @@ Return the starting position of the short pragma; else, nil."
|
1045 | 1044 | (`(:before
|
1046 | 1045 | .
|
1047 | 1046 | ,(and "=" (guard `(smie-rule-parent-p ,@beluga-type-declaration-keywords))))
|
1048 |
| - (smie-rule-parent)) |
1049 |
| - )) |
| 1047 | + (smie-rule-parent)))) |
1050 | 1048 |
|
1051 | 1049 | ;;---------------------------- Loading of the mode ----------------------------;;
|
1052 | 1050 |
|
|
0 commit comments