From 4c712104db3a178fd8316a2bb36f2f241f249d2d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 29 Jun 2017 18:34:51 +0100
Subject: Created prelude.sail for initial typing environment

Other things:

* Cleaned up several files a bit

* Fixed a bug in the parser where (deinfix |) got parsed as (definfix ||)

* Turned of the irritating auto-indent in sail-mode.el
---
 editors/sail-mode.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'editors')

diff --git a/editors/sail-mode.el b/editors/sail-mode.el
index 1fe51137..e1da042b 100644
--- a/editors/sail-mode.el
+++ b/editors/sail-mode.el
@@ -688,8 +688,8 @@ Based on Tuareg mode. See Tuareg mode for usage"
   (setq comment-multi-line t)
   (make-local-variable 'parse-sexp-ignore-comments)
   (setq parse-sexp-ignore-comments nil)
-  (make-local-variable 'indent-line-function)
-  (setq indent-line-function 'sail-indent-command)
+  ;; (make-local-variable 'indent-line-function)
+  ;; setq indent-line-function 'sail-indent-command)
   (unless sail-use-syntax-ppss
     (add-hook 'before-change-functions 'sail-before-change-function nil t))
   (make-local-variable 'normal-auto-fill-function)
-- 
cgit v1.2.3