From: Rotsor <rotsor@gmail.com>
Date: Wed, 19 Apr 2017 21:15:18 +0000 (+0100)
Subject: Emacs mode: ignore backslash character
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=613c16b54627b50f2aab32fa05f735ad3b0cbc3e;p=cubicaltt.git

Emacs mode: ignore backslash character

Emacs treats the '\' as an escape character by default, which means it sees `\(foo : x) -> bar` as having unbalanced parentheses and therefore `forward-sexp` and related functions don't work.
---

diff --git a/cubicaltt.el b/cubicaltt.el
index a0a9198..e1b6070 100644
--- a/cubicaltt.el
+++ b/cubicaltt.el
@@ -90,6 +90,7 @@
     (modify-syntax-entry ?\}  "){4nb" st)
     (modify-syntax-entry ?-  "_ 123" st)
     (modify-syntax-entry ?\n ">" st)
+    (modify-syntax-entry ?\\ "." st)
     st)
   "The syntax table for cubical, with Haskell-style comments.")