Re: Using smie for Relax NG compact syntax

[Nikolai Weibull <now@disu.se>]

[-- Attachment #1: Type: text/plain, Size: 1113 bytes --]

On Tue, Feb 10, 2015 at 9:13 PM, Stefan Monnier
<monnier@iro.umontreal.ca> wrote:
>> OK.  This results in an assertion failing in smie-prec2->grammar:
>> (cl-assert (numberp (car cons)))
>
> I'd need more info to figure out what's going on.  E.g. a backtrace,
> and maybe the chunk of code where it signals the error.

Yeah, sorry.  Here’s the whole rnc-mode.el.  The backtrace doesn’t
seem to tell us much (parts of the backtrace that only involve
invoking eval-buffer have been elided):

Debugger entered--Lisp error: (cl-assertion-failed (numberp (car cons)))
  signal(cl-assertion-failed ((numberp (car cons))))
  smie-prec2->grammar(#s(hash-table size 65 test equal rehash-size 1.5
rehash-threshold 0.8 data (:smie-open/close-alist (("element" .
opener)) :smie-closer-alist nil ...)))
  (defconst rnc-mode-smie-grammar (smie-prec2->grammar
(smie-bnf->prec2 (quote ((id) (pattern ("element" id) ("empty")))))))
  eval-buffer()  ; Reading at buffer position 2901
  #<subr call-interactively>(eval-buffer record nil)
  funcall(#<subr call-interactively> eval-buffer record nil)
  …

[-- Attachment #2: rnc-mode.el --]
[-- Type: application/octet-stream, Size: 4102 bytes --]

(require 'smie)

(defgroup rnc nil
  "Major mode for editing Relax NG Compact code."
  :prefix "rnc-"
  :group 'languages)

(defcustom rnc-indent-level 2
  "Indentation of Relax NG Compact statements."
  :type 'integer
  :group 'rnc)

(defconst rnc-font-lock-keywords
  (list
   '("\\b\\(?:attribute\\|element\\)\\s-*\\(\\\\?\\sw\\(?:\\sw\\|\\s_\\)*\\)\\b"
     1 font-lock-variable-name-face)
   '("^\\s-*\\(default\\(?:\\s-+namespace\\)?\\|namespace\\|datatypes\\)\\b"
     1 font-lock-preprocessor-face)
   '("^\\s-*\\(\\\\?\\sw\\(?:\\sw\\|\\s_\\)*\\)\\s-*="
     1 font-lock-variable-name-face)
   (list (concat
          "\\b"
          (regexp-opt
           '("empty"
             "list"
             "mixed"
             "string"
             "text"
             "token"))
          "\\b")
         0 'font-lock-type-face)
   (list (concat
          "\\b"
          (regexp-opt
           '("attribute"
             "div"
             "element"
             "external"
             "grammar"
             "include"
             "inherit"
             "notAllowed"
             "parent"
             "start"))
          "\\b")
         0 'font-lock-keyword-face))
  "Keywords to higlight in rnc-mode.")

(defvar rnc-mode-abbrev-table nil
  "Abbreviation table used in rnc-mode.")

(define-abbrev-table 'rnc-mode-abbrev-table ())

(defvar rnc-mode-map nil
  "Keymap used in rnc-mode.")

(unless rnc-mode-map
  (setq rnc-mode-map (make-sparse-keymap)))

(defvar rnc-mode-syntax-table nil
  "Syntax table in use for rnc-mode buffers.")

(unless rnc-mode-syntax-table
  (setq rnc-mode-syntax-table (make-syntax-table))
  (modify-syntax-entry ?' "\"" rnc-mode-syntax-table)
  (modify-syntax-entry ?\" "\"" rnc-mode-syntax-table)
  (modify-syntax-entry ?# "<" rnc-mode-syntax-table)
  (modify-syntax-entry ?\n ">" rnc-mode-syntax-table)
  (modify-syntax-entry ?\\ "\\" rnc-mode-syntax-table)
  (modify-syntax-entry ?. "_" rnc-mode-syntax-table)
  (modify-syntax-entry ?- "_" rnc-mode-syntax-table)
  (modify-syntax-entry ?_ "_" rnc-mode-syntax-table)
  (modify-syntax-entry ?+ "." rnc-mode-syntax-table)
  (modify-syntax-entry ?* "." rnc-mode-syntax-table)
  (modify-syntax-entry ?? "." rnc-mode-syntax-table)
  (modify-syntax-entry ?& "." rnc-mode-syntax-table)
  (modify-syntax-entry ?| "." rnc-mode-syntax-table)
  (modify-syntax-entry ?= "." rnc-mode-syntax-table)
  (modify-syntax-entry ?~ "." rnc-mode-syntax-table)
  (modify-syntax-entry ?\( "()" rnc-mode-syntax-table)
  (modify-syntax-entry ?\) ")(" rnc-mode-syntax-table)
  (modify-syntax-entry ?\{ "(}" rnc-mode-syntax-table)
  (modify-syntax-entry ?\} "){" rnc-mode-syntax-table)
  (modify-syntax-entry ?\[ "(]" rnc-mode-syntax-table)
  (modify-syntax-entry ?\] ")[" rnc-mode-syntax-table))

(defconst rnc-mode-smie-grammar
  (smie-prec2->grammar
   (smie-bnf->prec2
    '((id)
      (pattern ("element" id)
               ("empty"))))))

(defun rnc-mode-smie-forward-token ()
  (smie-default-forward-token))

(defun rnc-mode-smie-backward-token ()
  (smie-default-backward-token))

(defun rnc-mode-smie-rules (kind token)
  (pcase (cons kind token)
    (`(:elem . basic) rnc-indent-level)))

;;;###autoload
(defun rnc-mode ()
  "Major mode for editing RELAX NG Compact Syntax schemas.
\\{rnc-mode-map}"
  (interactive)
  (kill-all-local-variables)
  (use-local-map rnc-mode-map)
  (set-syntax-table rnc-mode-syntax-table)
  (setq local-abbrev-table rnc-mode-abbrev-table)
  (set (make-local-variable 'font-lock-defaults)
       '((rnc-font-lock-keywords) nil nil ((?. . "w") (?- . "w") (?_ . "w"))))
  (set (make-local-variable 'comment-start) "#")
  (set (make-local-variable 'comment-end) "")
  (set (make-local-variable 'comment-start-skip) "\\([ \t]*\\)##?[ \t]*")
  (smie-setup rnc-mode-smie-grammar #'rnc-mode-smie-rules
              :forward-token #'rnc-mode-smie-forward-token
              :backward-token #'rnc-mode-smie-backward-token)
  (setq mode-name "RNC"
	major-mode 'rnc-mode)
  (run-mode-hooks 'rnc-mode-hook))

;;;###autoload
(add-to-list 'auto-mode-alist (cons (purecopy "\\.rnc\\'") 'rnc-mode))

(provide 'rnc-mode)