---- On Fri, 07 Feb 2020 11:30:43 -0500 Matt Wette <matt.we...@gmail.com> 
wrote ----
 > Thanks for doing this.   I'd like to have #! ... !# handled robustly as 
 > comment.
 > It's not working for me and I believe I saw a comment in the code that 
 > it was
 > intentionally left out (for some reason I don't remember).

I don't remember those block comments working for me either, so I use #| ... |# 
instead for top-level and nested block comments.

Reply via email to