gdritter repos gelpa / 9b8e729
added pico-ml mode Getty Ritter 9 years ago
3 changed file(s) with 47 addition(s) and 0 deletion(s). Collapse all Expand all
+7
-0
archive-contents less more
1313 single
1414 ]
1515 )
16 (pico-ml-mode .
17 [ (20150815 0000)
18 nil
19 "A simple major mode for editing PicoML files"
20 single
21 ]
22 )
1623 )
+2
-0
index.html less more
1919 <a href="https://github.com/GaloisInc/gidl"><code>gidl</code></a> interface files.</li>
2020 <li><code>ndbl-mode</code> &mdash; minimal major mode for editing
2121 <a href="https://github.com/aisamanra/ndbl"><code>ndbl</code></a> configuration files.</li>
22 <li><code>pico-ml-mode</code> &mdash; minimal major mode for editing
23 <code>PicoML</code> source files.</li>
2224 </ul>
2325 </div>
2426 </body>
+38
-0
pico-ml-mode-20150815.0.el less more
1 ;; pico-ml-mode.el --- a simple major mode for editing PicoML files
2
3 ;; Version: 20150815.0000
4 ;; Author: Getty ritter
5 ;; Url: https://github.com/aisamanra/pico-ml-mode
6
7 (setq pico-ml-font-lock
8 '(( "data\\|record\\|let\\|in\\|if\\|implicit\\|exports\\|import" . font-lock-keyword-face )
9 ( "^\\(implicit *\\)?\\([a-z][A-Za-z0-9]*\\|[_+*/\!@~#$%^&=|<>]+\\)" 2 font-lock-function-name-face )
10 ( "\\.[a-z][A-Za-z-9]*" . font-lock-variable-name-face )
11 ( "Bool\\|Nat\\|Int\\|Float\\|String" . font-lock-builtin-face )
12 ( "[A-Z][A-Za-z0-9]+" . font-lock-type-face )))
13
14 (defvar pico-ml-syntax-table nil "Syntax table for `pico-ml-mode'.")
15 (setq pico-ml-syntax-table
16 (let ((table (make-syntax-table)))
17 (modify-syntax-entry ?- ". 12b" table)
18 (modify-syntax-entry ?\n "> b" table)
19 (modify-syntax-entry ?( "($")
20 (modify-syntax-entry ?) ")^")
21
22 table))
23
24 (define-derived-mode pico-ml-mode prog-mode
25 "PicoML mode is a major mode for editing PicoML files"
26 :syntax-table pico-ml-syntax-table
27
28 (setq font-lock-defaults '(pico-ml-font-lock))
29 (setq mode-name "PicoML mode")
30 (setq comment-start "--")
31 (setq comment-end ""))
32
33 ;;;###autoload
34 (add-to-list 'auto-mode-alist '("\\.pml\\'" . pico-ml-mode))
35
36 (provide 'pico-ml-mode)
37
38 ;;; pico-ml-mode.el ends here