From 6b6577d8b9779a4166e97358f6af6ad90e44de11 Mon Sep 17 00:00:00 2001
From: Evan Lloyd New-Schmidt <evan@new-schmidt.com>
Date: Mon, 4 Oct 2021 13:11:55 -0400
Subject: [PATCH] Disable comment_line for ocaml/coq

OCaml does not have line comments, and as far as I can tell neither
does Coq. Setting it to '' (like markdown and html do) throws an error
that can be handled or displayed instead of inserting the default '#'.
---
 rc/tools/comment.kak | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/rc/tools/comment.kak b/rc/tools/comment.kak
index 56e0996c..8d3ee798 100644
--- a/rc/tools/comment.kak
+++ b/rc/tools/comment.kak
@@ -1,4 +1,5 @@
 # Line comments
+# If the language has no line comments, set to ''
 declare-option -docstring "characters inserted at the beginning of a commented line" \
     str comment_line '#'
 
@@ -97,6 +98,7 @@ hook global BufSetOption filetype=markdown %{
 }
 
 hook global BufSetOption filetype=(ocaml|coq) %{
+    set-option buffer comment_line ''
     set-option buffer comment_block_begin '(* '
     set-option buffer comment_block_end ' *)'
 }