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 a0a9198ebb994aabd919d351a65539486a39ac04..e1b6070edc0d58a71111d550137cbd9bc59db636 100644 (file)
--- 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.")