failed and commented attempt at improving indentation of records.

1 files changed, 8 insertions, 0 deletions

diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index 9fa2e707..66e4fbe1 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -891,6 +891,14 @@ KIND is the situation and TOKEN is the thing w.r.t which the rule applies."
 	     (not (smie-rule-bolp)))
 	(smie-rule-parent 2))
 
+       ;; trying to indent "{" at the end of line for records, but the
+       ;; parent is not what I think.
+;       ((and (member token '("{" "{|"))
+;	     (not coq-indent-box-style)
+;	     (not (smie-rule-bolp)))
+;	(smie-rule-parent))
+
+
        ((and (member token '("forall" "quantif exists"))
 	     (smie-rule-parent-p "forall" "quantif exists"))
 	(if (save-excursion