annotate src/elisp/urweb-defs.el @ 1310:f0909fb3848f

Simplify type of Monad.appR2
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Oct 2010 13:26:11 -0400
parents c316ca3c9ec6
children 53f91b67006c
rev   line source
adamc@350 1 ;;; urweb-defs.el --- Various definitions for urweb-mode
adamc@350 2
adamc@350 3 ;; Based on sml-mode:
adamc@350 4 ;; Copyright (C) 1999,2000,2003 Stefan Monnier <monnier@cs.yale.edu>
adamc@350 5 ;;
adamc@350 6 ;; Modified for urweb-mode:
adamc@350 7 ;; Copyright (C) 2008 Adam Chlipala <adamc@hcoop.net>
adamc@350 8 ;;
adamc@350 9 ;; This program is free software; you can redistribute it and/or modify
adamc@350 10 ;; it under the terms of the GNU General Public License as published by
adamc@350 11 ;; the Free Software Foundation; either version 2 of the License, or
adamc@350 12 ;; (at your option) any later version.
adamc@350 13 ;;
adamc@350 14 ;; This program is distributed in the hope that it will be useful,
adamc@350 15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
adamc@350 16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
adamc@350 17 ;; GNU General Public License for more details.
adamc@350 18 ;;
adamc@350 19 ;; You should have received a copy of the GNU General Public License
adamc@350 20 ;; along with this program; if not, write to the Free Software
adamc@350 21 ;; Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
adamc@350 22
adamc@350 23 ;;; Commentary:
adamc@350 24
adamc@350 25
adamc@350 26 ;;; Code:
adamc@350 27
adamc@350 28 (eval-when-compile (require 'cl))
adamc@414 29 (require 'urweb-util)
adamc@350 30
adamc@350 31
adamc@350 32 (defgroup urweb ()
adamc@350 33 "Editing Ur/Web code."
adamc@350 34 :group 'languages)
adamc@350 35
adamc@350 36 (defvar urweb-outline-regexp
adamc@350 37 ;; `st' and `si' are to match structure and signature.
adamc@350 38 " \\|s[ti]\\|[ \t]*\\(let[ \t]+\\)?\\(fun\\|and\\)\\>"
adamc@350 39 "Regexp matching a major heading.
adamc@350 40 This actually can't work without extending `outline-minor-mode' with the
adamc@350 41 notion of \"the end of an outline\".")
adamc@350 42
adamc@350 43 ;;;
adamc@350 44 ;;; Internal defines
adamc@350 45 ;;;
adamc@350 46
adamc@350 47 (defmap urweb-mode-map
adamc@350 48 ;; smarter cursor movement
adamc@350 49 '(("\C-c\C-i" . urweb-mode-info))
adamc@350 50 "The keymap used in `urweb-mode'."
adamc@350 51 ;; :inherit urweb-bindings
adamc@350 52 :group 'urweb)
adamc@350 53
adamc@350 54 (defsyntax urweb-mode-syntax-table
adamc@350 55 `((?\* . ,(if urweb-builtin-nested-comments-flag ". 23n" ". 23"))
adamc@350 56 (?\( . "()1")
adamc@350 57 (?\) . ")(4")
adamc@350 58 ("._'" . "_")
adamc@350 59 (",;" . ".")
adamc@350 60 ;; `!' is not really a prefix-char, oh well!
adamc@350 61 ("~#!" . "'")
adamc@350 62 ("%&$+-/:<=>?@`^|" . "."))
adamc@350 63 "The syntax table used in `urweb-mode'.")
adamc@350 64
adamc@350 65
adamc@350 66 (easy-menu-define urweb-mode-menu urweb-mode-map "Menu used in `urweb-mode'."
adamc@351 67 '("Ur/Web"
adamc@351 68 ["Ur/Web mode help (brief)" describe-mode t]
adamc@351 69 ["Ur/Web mode *info*" urweb-mode-info t]
adamc@350 70 ))
adamc@350 71
adamc@350 72 ;; Make's sure they appear in the menu bar when urweb-mode-map is active.
adamc@350 73 ;; On the hook for XEmacs only -- see easy-menu-add in auc-menu.el.
adamc@350 74 ;; (defun urweb-mode-menu-bar ()
adamc@350 75 ;; "Make sure menus appear in the menu bar as well as under mouse 3."
adamc@350 76 ;; (and (eq major-mode 'urweb-mode)
adamc@350 77 ;; (easy-menu-add urweb-mode-menu urweb-mode-map)))
adamc@350 78 ;; (add-hook 'urweb-mode-hook 'urweb-mode-menu-bar)
adamc@350 79
adamc@350 80 ;;
adamc@350 81 ;; regexps
adamc@350 82 ;;
adamc@350 83
adamc@350 84 (defun urweb-syms-re (&rest syms)
adamc@350 85 (concat "\\<" (regexp-opt (flatten syms) t) "\\>"))
adamc@350 86
adamc@350 87 ;;
adamc@350 88
adamc@350 89 (defconst urweb-module-head-syms
adamc@350 90 '("signature" "structure" "functor"))
adamc@350 91
adamc@350 92
adamc@350 93 (defconst urweb-begin-syms
adamc@446 94 '("let" "struct" "sig")
adamc@350 95 "Symbols matching the `end' symbol.")
adamc@350 96
adamc@350 97 (defconst urweb-begin-syms-re
adamc@350 98 (urweb-syms-re urweb-begin-syms)
adamc@350 99 "Symbols matching the `end' symbol.")
adamc@350 100
adamc@350 101 ;; (defconst urweb-user-begin-symbols-re
adamc@350 102 ;; (urweb-syms-re "let" "abstype" "local" "struct" "sig" "in" "with")
adamc@350 103 ;; "Symbols matching (loosely) the `end' symbol.")
adamc@350 104
adamc@350 105 (defconst urweb-sexp-head-symbols-re
adamc@446 106 (urweb-syms-re "let" "struct" "sig" "in" "with"
adamc@446 107 "if" "then" "else" "case" "of" "fn" "fun" "val" "and"
adamc@446 108 "datatype" "type" "open" "include"
adamc@446 109 urweb-module-head-syms
adamc@621 110 "con" "map" "where" "extern" "constraint" "constraints"
adamc@1199 111 "table" "sequence" "class" "cookie" "task" "policy")
adamc@350 112 "Symbols starting an sexp.")
adamc@350 113
adamc@350 114 ;; (defconst urweb-not-arg-start-re
adamc@350 115 ;; (urweb-syms-re "in" "of" "end" "andalso")
adamc@350 116 ;; "Symbols that can't be found at the head of an arg.")
adamc@350 117
adamc@350 118 ;; (defconst urweb-not-arg-re
adamc@350 119 ;; (urweb-syms-re "in" "of" "end" "andalso")
adamc@350 120 ;; "Symbols that should not be confused with an arg.")
adamc@350 121
adamc@350 122 (defconst urweb-=-starter-syms
adamc@350 123 (list* "|" "val" "fun" "and" "datatype" "con" "type" "class"
adamc@350 124 urweb-module-head-syms)
adamc@350 125 "Symbols that can be followed by a `='.")
adamc@350 126 (defconst urweb-=-starter-re
adamc@350 127 (concat "\\S.|\\S.\\|" (urweb-syms-re (cdr urweb-=-starter-syms)))
adamc@350 128 "Symbols that can be followed by a `='.")
adamc@350 129
adamc@350 130 (defconst urweb-indent-rule
adamc@350 131 (urweb-preproc-alist
adamc@350 132 `((,urweb-module-head-syms "d=" 0)
adamc@350 133 ("if" "else" 0)
adamc@350 134 (,urweb-=-starter-syms nil)
adamc@350 135 (("case" "datatype" "if" "then" "else"
adamc@446 136 "let" "open" "sig" "struct" "type" "val"
adamc@1073 137 "con" "constraint" "table" "sequence" "class" "cookie"
adamc@1199 138 "task" "policy")))))
adamc@350 139
adamc@350 140 (defconst urweb-starters-indent-after
adamc@446 141 (urweb-syms-re "let" "in" "struct" "sig")
adamc@350 142 "Indent after these.")
adamc@350 143
adamc@350 144 (defconst urweb-delegate
adamc@350 145 (urweb-preproc-alist
adamc@350 146 `((("of" "else" "then" "with" "d=") . (not (urweb-bolp)))
adamc@350 147 ("in" . t)))
adamc@350 148 "Words which might delegate indentation to their parent.")
adamc@350 149
adamc@350 150 (defcustom urweb-symbol-indent
adamc@350 151 '(("fn" . -3)
adamc@350 152 ("of" . 1)
adamc@350 153 ("|" . -2)
adamc@350 154 ("," . -2)
adamc@350 155 (";" . -2)
adamc@350 156 ;;("in" . 1)
adamc@350 157 ("d=" . 2))
adamc@350 158 "Special indentation alist for some symbols.
adamc@350 159 An entry like (\"in\" . 1) indicates that a line starting with the
adamc@350 160 symbol `in' should be indented one char further to the right.
adamc@350 161 This is only used in a few specific cases, so it does not work
adamc@350 162 for all symbols and in all lines starting with the given symbol."
adamc@350 163 :group 'urweb
adamc@350 164 :type '(repeat (cons string integer)))
adamc@350 165
adamc@350 166 (defconst urweb-open-paren
adamc@350 167 (urweb-preproc-alist
adamc@446 168 `((,(list* "in" urweb-begin-syms) ,urweb-begin-syms-re "\\<end\\>")))
adamc@350 169 "Symbols that should behave somewhat like opening parens.")
adamc@350 170
adamc@350 171 (defconst urweb-close-paren
adamc@446 172 `(("in" "\\<let\\>")
adamc@446 173 ("end" ,urweb-begin-syms-re)
adamc@350 174 ("then" "\\<if\\>")
adamc@350 175 ("else" "\\<if\\>" (urweb-bolp))
adamc@350 176 ("of" "\\<case\\>")
adamc@366 177 ("</xml>" "<xml>")
adamc@350 178 ("d=" nil))
adamc@350 179 "Symbols that should behave somewhat like close parens.")
adamc@350 180
adamc@350 181 (defconst urweb-agglomerate-re "\\<else[ \t]+if\\>"
adamc@350 182 "Regexp of compound symbols (pairs of symbols to be considered as one).")
adamc@350 183
adamc@350 184 (defconst urweb-non-nested-of-starter-re
adamc@350 185 (urweb-syms-re "datatype")
adamc@350 186 "Symbols that can introduce an `of' that shouldn't behave like a paren.")
adamc@350 187
adamc@350 188 (defconst urweb-starters-syms
adamc@350 189 (append urweb-module-head-syms
adamc@350 190 '("datatype" "fun"
adamc@350 191 "open" "type" "val" "and"
adamc@1073 192 "con" "constraint" "table" "sequence" "class" "cookie"
adamc@1199 193 "task" "policy"))
adamc@350 194 "The starters of new expressions.")
adamc@350 195
adamc@350 196 (defconst urweb-exptrail-syms
adamc@621 197 '("if" "then" "else" "case" "of" "fn" "with" "map"))
adamc@350 198
adamc@350 199 (defconst urweb-pipeheads
adamc@350 200 '("|" "of" "fun" "fn" "and" "datatype")
adamc@350 201 "A `|' corresponds to one of these.")
adamc@350 202
adamc@350 203
adamc@350 204 (provide 'urweb-defs)
adamc@350 205
adamc@350 206 ;;; urweb-defs.el ends here