tla-tools

.gitmodules

@@ -25,3 +25,6 @@
 [submodule "site/mmm-mode"]
 	path = site/mmm-mode
 	url = git://github.com/purcell/mmm-mode.git
+[submodule "site/tla-tools"]
+	path = site/tla-tools
+	url = https://github.com/mrc/tla-tools

dot-emacs

@@ -1565,7 +1565,7 @@ surrounding xml expression"
  '(confirm-kill-processes nil t)
  '(package-selected-packages
    (quote
-    (company-lsp yasnippet racer magit-popup rust-mode web-mode visual-fill-column lsp-mode lsp-ui markdown-mode counsel helm-ls-git helm-git-files yaml-mode js2-mode caddyfile-mode ledger-mode scala-mode graphviz-dot-mode git-link web-mode flycheck-clangcheck visual-fill-column ac-rtags company-rtags rtags company-racer racer flycheck-rust rust-mode flycheck-ocaml tuareg lua-mode gnuplot gnuplot-mode thrift terraform-mode seq ruby-tools ruby-mode ruby-electric rubocop popwin magit-gh-pulls magit-gerrit javaimp inf-ruby helm go-eldoc fuzzy flycheck f exec-path-from-shell edit-server debian-changelog-mode dash-at-point company-go coffee-mode cmake-mode clojure-mode clang-format bison-mode auto-complete)))
+    (polymode company-lsp yasnippet racer magit-popup rust-mode web-mode visual-fill-column lsp-mode lsp-ui markdown-mode counsel helm-ls-git helm-git-files yaml-mode js2-mode caddyfile-mode ledger-mode scala-mode graphviz-dot-mode git-link web-mode flycheck-clangcheck visual-fill-column ac-rtags company-rtags rtags company-racer racer flycheck-rust rust-mode flycheck-ocaml tuareg lua-mode gnuplot gnuplot-mode thrift terraform-mode seq ruby-tools ruby-mode ruby-electric rubocop popwin magit-gh-pulls magit-gerrit javaimp inf-ruby helm go-eldoc fuzzy flycheck f exec-path-from-shell edit-server debian-changelog-mode dash-at-point company-go coffee-mode cmake-mode clojure-mode clang-format bison-mode auto-complete)))
  '(safe-local-variable-values
    (quote
     ((encoding . utf-8)
@@ -1577,3 +1577,6 @@ surrounding xml expression"
     (load local-config)))
 
 (require 'sorbet-lsp)
+
+(load "tla-tools/tla-tools.el")
+(load "tla-tools/tla-pcal-mode")

elpa/polymode-20190714.2017/polymode-autoloads.el

@@ -0,0 +1,217 @@
+;;; polymode-autoloads.el --- automatically extracted autoloads
+;;
+;;; Code:
+(add-to-list 'load-path (directory-file-name (or (file-name-directory #$) (car load-path))))
+
+;;;### (autoloads nil "polymode" "../../../.emacs.d/elpa/polymode-20190714.2017/polymode.el"
+;;;;;;  "699dfad7a26a6b8d3fdd2be900b339de")
+;;; Generated autoloads from ../../../.emacs.d/elpa/polymode-20190714.2017/polymode.el
+
+(autoload 'define-polymode "polymode" "\
+Define a new polymode MODE.
+This macro defines command MODE and an indicator variable MODE
+which becomes t when MODE is active and nil otherwise.
+
+MODE command can be used as both major and minor mode. Using
+polymodes as minor modes makes sense when :hostmode (see below)
+is not specified, in which case polymode installs only inner
+modes and doesn't touch current major mode.
+
+Standard hook MODE-hook is run at the end of the initialization
+of each polymode buffer (both indirect and base buffers).
+
+This macro also defines the MODE-map keymap from the :keymap
+argument and PARENT-map (see below) and poly-[MODE-NAME]-polymode
+variable which holds an object of class `pm-polymode' which holds
+the entire configuration for this polymode.
+
+PARENT is either the polymode configuration object or a polymode
+mode (there is 1-to-1 correspondence between config
+objects (`pm-polymode') and mode functions). The new polymode
+MODE inherits alll the behavior from PARENT except for the
+overwrites specified by the keywords (see below). The new MODE
+runs all the hooks from the PARENT-mode and inherits its MODE-map
+from PARENT-map.
+
+DOC is an optional documentation string. If present PARENT must
+be provided, but can be nil.
+
+BODY is executed after the complete initialization of the
+polymode but before MODE-hook. It is executed once for each
+polymode buffer - host buffer on initialization and every inner
+buffer subsequently created.
+
+Before the BODY code keyword arguments (i.e. alternating keywords
+and values) are allowed. The following special keywords
+controlling the behavior of the new MODE are supported:
+
+:lighter Optional LIGHTER is displayed in the mode line when the
+   mode is on. If omitted, it defaults to the :lighter slot of
+   CONFIG object.
+
+:keymap If nil, a new MODE-map keymap is created what directly
+  inherits from the PARENT's keymap. The last keymap in the
+  inheritance chain is always `polymode-minor-mode-map'. If a
+  keymap it is used directly as it is. If a list of binding of
+  the form (KEY . BINDING) it is merged the bindings are added to
+  the newly create keymap.
+
+:after-hook A single form which is evaluated after the mode hooks
+  have been run. It should not be quoted.
+
+Other keywords are added to the `pm-polymode' configuration
+object and should be valid slots in PARENT config object or the
+root config `pm-polymode' object if PARENT is nil. By far the
+most frequently used slots are:
+
+:hostmode Symbol pointing to a `pm-host-chunkmode' object
+  specifying the behavior of the hostmode. If missing or nil,
+  MODE will behave as a minor-mode in the sense that it will
+  reuse the currently installed major mode and will install only
+  the inner modes.
+
+:innermodes List of symbols pointing to `pm-inner-chunkmode'
+  objects which specify the behavior of inner modes (or submodes).
+
+\(fn MODE &optional PARENT DOC &rest BODY)" nil t)
+
+(function-put 'define-polymode 'doc-string-elt '3)
+
+;;;***
+
+;;;### (autoloads nil "polymode-core" "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-core.el"
+;;;;;;  "d089e1d132a4b4fcae437bbd478fa043")
+;;; Generated autoloads from ../../../.emacs.d/elpa/polymode-20190714.2017/polymode-core.el
+
+(defvar-local polymode-default-inner-mode nil "\
+Inner mode for chunks with unspecified modes.
+Intended to be used as local variable in polymode buffers. A
+special value 'host means use the host mode.")
+
+(put 'polymode-default-inner-mode 'safe-local-variable 'symbolp)
+
+(autoload 'define-hostmode "polymode-core" "\
+Define a hostmode with name NAME.
+Optional PARENT is a name of a hostmode to be derived (cloned)
+from. If missing, the optional documentation string DOC is
+generated automatically. KEY-ARGS is a list of key-value pairs.
+See the documentation of the class `pm-host-chunkmode' for
+possible values.
+
+\(fn NAME &optional PARENT DOC &rest KEY-ARGS)" nil t)
+
+(function-put 'define-hostmode 'doc-string-elt '3)
+
+(autoload 'define-innermode "polymode-core" "\
+Ddefine an innermode with name NAME.
+Optional PARENT is a name of a innermode to be derived (cloned)
+from. If missing the optional documentation string DOC is
+generated automatically. KEY-ARGS is a list of key-value pairs.
+See the documentation of the class `pm-inner-chunkmode' for
+possible values.
+
+\(fn NAME &optional PARENT DOC &rest KEY-ARGS)" nil t)
+
+(function-put 'define-innermode 'doc-string-elt '3)
+
+(autoload 'define-auto-innermode "polymode-core" "\
+Ddefine an auto innermode with name NAME.
+Optional PARENT is a name of an auto innermode to be
+derived (cloned) from. If missing the optional documentation
+string DOC is generated automatically. KEY-ARGS is a list of
+key-value pairs. See the documentation of the class
+`pm-inner-auto-chunkmode' for possible values.
+
+\(fn NAME &optional PARENT DOC &rest KEY-ARGS)" nil t)
+
+(function-put 'define-auto-innermode 'doc-string-elt '3)
+
+;;;***
+
+;;;### (autoloads nil "polymode-debug" "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-debug.el"
+;;;;;;  "18f81b35c4990313b04707549de9c330")
+;;; Generated autoloads from ../../../.emacs.d/elpa/polymode-20190714.2017/polymode-debug.el
+
+(autoload 'pm-debug-minor-mode "polymode-debug" "\
+Turns on/off useful facilities for debugging polymode.
+
+Key bindings:
+\\{pm-debug-minor-mode-map}
+
+\(fn &optional ARG)" t nil)
+
+(autoload 'pm-debug-minor-mode-on "polymode-debug" "\
+
+
+\(fn)" nil nil)
+
+(defvar pm-debug-mode nil "\
+Non-nil if Pm-Debug mode is enabled.
+See the `pm-debug-mode' command
+for a description of this minor mode.
+Setting this variable directly does not take effect;
+either customize it (see the info node `Easy Customization')
+or call the function `pm-debug-mode'.")
+
+(custom-autoload 'pm-debug-mode "polymode-debug" nil)
+
+(autoload 'pm-debug-mode "polymode-debug" "\
+Toggle Pm-Debug minor mode in all buffers.
+With prefix ARG, enable Pm-Debug mode if ARG is positive;
+otherwise, disable it.  If called from Lisp, enable the mode if
+ARG is omitted or nil.
+
+Pm-Debug minor mode is enabled in all buffers where
+`pm-debug-minor-mode-on' would do it.
+See `pm-debug-minor-mode' for more information on Pm-Debug minor mode.
+
+\(fn &optional ARG)" t nil)
+
+(autoload 'pm-toggle-tracing "polymode-debug" "\
+Toggle polymode tracing.
+With numeric prefix toggle tracing for that LEVEL. Currently
+universal argument toggles maximum level of tracing (4). Default
+level is 3.
+
+\(fn LEVEL)" t nil)
+
+(autoload 'pm-trace "polymode-debug" "\
+Trace function FN.
+Use `untrace-function' to untrace or `untrace-all' to untrace all
+currently traced functions.
+
+\(fn FN)" t nil)
+
+(autoload 'pm-debug-relevant-variables "polymode-debug" "\
+Get the relevant polymode variables.
+If OUT-TYPE is 'buffer, print the variables in the dedicated
+buffer, if 'message issue a message, if nil just return a list of values.
+
+\(fn &optional OUT-TYPE)" t nil)
+
+;;;***
+
+;;;### (autoloads nil nil ("../../../.emacs.d/elpa/polymode-20190714.2017/poly-lock.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-autoloads.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-base.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-classes.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-compat.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-core.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-debug.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-export.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-methods.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-pkg.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-tangle.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-test-utils.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode-weave.el"
+;;;;;;  "../../../.emacs.d/elpa/polymode-20190714.2017/polymode.el")
+;;;;;;  (23907 14514 775973 576000))
+
+;;;***
+
+;; Local Variables:
+;; version-control: never
+;; no-byte-compile: t
+;; no-update-autoloads: t
+;; End:
+;;; polymode-autoloads.el ends here

elpa/polymode-20190714.2017/polymode-base.el

@@ -0,0 +1,122 @@
+;;; polymode-base.el --- Root Host and Polymode Configuration Objects -*- lexical-binding: t -*-
+;;
+;; Copyright (C) 2013-2019, Vitalie Spinu
+;; Author: Vitalie Spinu
+;; URL: https://github.com/vspinu/polymode
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; This file is *NOT* part of GNU Emacs.
+;;
+;; This program is free software; you can redistribute it and/or
+;; modify it under the terms of the GNU General Public License as
+;; published by the Free Software Foundation; either version 3, or
+;; (at your option) any later version.
+;;
+;; This program is distributed in the hope that it will be useful,
+;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+;; General Public License for more details.
+;;
+;; You should have received a copy of the GNU General Public License
+;; along with GNU Emacs.  If not, see <https://www.gnu.org/licenses/>.
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;;; Commentary:
+;;
+;;; Code:
+
+(require 'polymode-core)
+
+
+;; HOST MODES
+
+(define-obsolete-variable-alias 'pm-host/ada 'poly-ada-hostmode "v0.2")
+(define-hostmode poly-ada-hostmode :mode 'ada-mode)
+
+(define-obsolete-variable-alias 'pm-host/coffee 'poly-coffee-hostmode "v0.2")
+(define-hostmode poly-coffee-hostmode :mode 'coffee-mode)
+
+(define-obsolete-variable-alias 'pm-host/emacs-lisp 'poly-emacs-lisp-hostmode "v0.2")
+(define-hostmode poly-emacs-lisp-hostmode :mode 'emacs-lisp-mode)
+
+(define-obsolete-variable-alias 'pm-host/fundamental 'poly-fundamental-hostmode "v0.2")
+(define-hostmode poly-fundamental-hostmode :mode 'fundamental-mode)
+
+(define-obsolete-variable-alias 'pm-host/java 'poly-java-hostmode "v0.2")
+(define-hostmode poly-java-hostmode :mode 'java-mode)
+
+(define-obsolete-variable-alias 'pm-host/js 'poly-js-hostmode "v0.2")
+(define-hostmode poly-js-hostmode :mode 'js-mode)
+
+(define-obsolete-variable-alias 'pm-host/latex 'poly-latex-hostmode "v0.2")
+(define-hostmode poly-latex-hostmode :mode 'latex-mode)
+
+(define-obsolete-variable-alias 'pm-host/html 'poly-html-hostmode "v0.2")
+(define-hostmode poly-html-hostmode
+  :mode 'html-mode
+  :indent-offset 'sgml-basic-offset
+  :protect-font-lock nil
+  :protect-syntax t)
+
+(define-obsolete-variable-alias 'pm-host/R 'poly-R-hostmode "v0.2")
+(define-hostmode poly-R-hostmode :mode 'R-mode)
+
+(define-obsolete-variable-alias 'pm-host/perl 'poly-perl-hostmode "v0.2")
+(define-hostmode poly-perl-hostmode :mode 'perl-mode)
+
+(define-obsolete-variable-alias 'pm-host/ruby 'poly-ruby-hostmode "v0.2")
+(define-hostmode poly-ruby-hostmode :mode 'ruby-mode)
+
+(define-obsolete-variable-alias 'pm-host/pascal 'poly-pascal-hostmode "v0.2")
+(define-hostmode poly-pascal-hostmode :mode 'pascal-mode)
+
+(define-obsolete-variable-alias 'pm-host/C++ 'poly-c++-hostmode "v0.2")
+(define-hostmode poly-c++-hostmode :mode 'C++-mode :protect-font-lock nil)
+
+(define-obsolete-variable-alias 'pm-host/sgml 'poly-sgml-hostmode "v0.2")
+(define-hostmode poly-sgml-hostmode :mode 'sgml-mode)
+
+(define-obsolete-variable-alias 'pm-host/text 'poly-text-hostmode "v0.2")
+(define-hostmode poly-text-hostmode :mode 'text-mode)
+
+(define-obsolete-variable-alias 'pm-host/yaml 'poly-yaml-hostmode "v0.2")
+(define-hostmode poly-yaml-hostmode :mode 'yaml-mode)
+
+
+;;; ROOT POLYMODES
+
+;; These are simple generic configuration objects. More specialized polymodes
+;; should clone these.
+
+(define-obsolete-variable-alias 'pm-poly/brew 'poly-brew-root-polymode "v0.2")
+(defvar poly-brew-root-polymode
+  (pm-polymode :name "brew-root" :hostmode 'poly-text-hostmode)
+  "Brew root configuration.")
+
+(define-obsolete-variable-alias 'pm-poly/html 'poly-html-root-polymode "v0.2")
+(defvar poly-html-root-polymode
+  (pm-polymode :name "html-root" :hostmode 'poly-html-hostmode)
+  "HTML root configuration.")
+
+(define-obsolete-variable-alias 'pm-poly/C++ 'poly-c++-root-polymode "v0.2")
+(defvar poly-c++-root-polymode
+  (pm-polymode :name "c++-root" :hostmode 'poly-c++-hostmode)
+  "C++ root configuration.")
+
+(define-obsolete-variable-alias 'pm-poly/latex 'poly-latex-root-polymode "v0.2")
+(defvar poly-latex-root-polymode
+  (pm-polymode :name "latex-root" :hostmode 'poly-latex-hostmode)
+  "LaTeX root configuration.")
+
+(defvar poly-js-root-polymode
+  (pm-polymode :name "js-root" :hostmode 'poly-js-hostmode)
+  "JS root polymode.")
+
+(defvar poly-coffee-root-polymode
+  (pm-polymode :name "coffee-root" :hostmode 'poly-coffee-hostmode)
+  "JS root polymode.")
+
+(provide 'polymode-base)
+;;; polymode-base.el ends here