author Adam Chlipala Thu, 22 Nov 2007 21:56:53 +0000 (21:56 +0000) committer Adam Chlipala Thu, 22 Nov 2007 21:56:53 +0000 (21:56 +0000)
 elisp/domtool-mode.el patch | blob | blame | history

index 1e6959d..292acfa 100644 (file)

(defun until-closed-helper (level)
(if
-      (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\)\\_>"
+      (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\|let\\)\\_>"
nil t)
(cond
((string= (match-string 0) "end")
(back-to-indentation)
(multiple-value-bind (previous-keyword base-indent)
(save-excursion
-          (if (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\)\\_>"
+          (if (re-search-backward "\\_<\\(with\\|where\\|begin\\|end\\|let\\|in\\)\\_>"
nil t)
(values (match-string 0) (current-indentation))
(values nil 0)))
'noindent)
((nth 4 state)
(domtool-calculate-comment-indent state))
-         ((looking-at "\\_<\\(with\\|end\\)\\_>")
+         ((looking-at "\\_<\\(with\\|end\\|in\\)\\_>")
(until-closed))
((not previous-keyword)
base-indent)
{"ft_lang_label":"__label__en","ft_lang_prob":0.6251818,"math_prob":0.97105074,"size":744,"snap":"2023-14-2023-23","text_gpt3_token_len":249,"char_repetition_ratio":0.16216215,"word_repetition_ratio":0.0,"special_character_ratio":0.4032258,"punctuation_ratio":0.0,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9545238,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-06-01T22:53:21Z\",\"WARC-Record-ID\":\"<urn:uuid:32458e93-2a00-4a61-a810-b2e83c3a28ec>\",\"Content-Length\":\"11548\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:211eb2f8-46d7-4bbc-9f24-d42aecfde176>\",\"WARC-Concurrent-To\":\"<urn:uuid:0d2af3c7-4f26-4ac3-911a-89d390c40c25>\",\"WARC-IP-Address\":\"68.183.54.165\",\"WARC-Target-URI\":\"https://git.hcoop.net/hcoop/domtool2.git/commitdiff/27b4bbd48c1938d34f06954940d9cf78ee4ab6ee\",\"WARC-Payload-Digest\":\"sha1:GVLOLGONITYFTHGTUFBL4S6TJVYBEUOH\",\"WARC-Block-Digest\":\"sha1:ILCSTLXIX3DLPKJ5NOWS5H3CXOZZ5FPA\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-23/CC-MAIN-2023-23_segments_1685224648209.30_warc_CC-MAIN-20230601211701-20230602001701-00590.warc.gz\"}"}