comparison src/elisp/urweb-mode.el @ 1514:3c0803c1acd7

Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
author Adam Chlipala <adam@chlipala.net>
date Fri, 22 Jul 2011 15:39:38 -0400
parents 2f9b7382dd1d
children a479947efbcd
comparison
equal deleted inserted replaced
1513:5616b2cbdcdb 1514:3c0803c1acd7
168 (let ( 168 (let (
169 (depth 0) 169 (depth 0)
170 (finished nil) 170 (finished nil)
171 (answer nil) 171 (answer nil)
172 ) 172 )
173 (while (and (not finished) (re-search-backward "[<>{}]|\\*\)" nil t)) 173 (while (and (not finished) (re-search-backward "[<>{}]" nil t))
174 (cond 174 (cond
175 ((looking-at "*)")
176 (search-backward "(*"))
177 ((looking-at "{") 175 ((looking-at "{")
178 (if (> depth 0) 176 (if (> depth 0)
179 (decf depth) 177 (decf depth)
180 (setq finished t))) 178 (setq finished t)))
181 ((looking-at "}") 179 ((looking-at "}")
182 (incf depth)) 180 (incf depth))
183 ((save-excursion (backward-char 1) (or (looking-at "=>") 181 ((save-excursion (backward-char 1) (or (looking-at "=>")
184 (looking-at "->") 182 (looking-at "->")
185 (looking-at "<>"))) 183 (looking-at "<>")))
186 (setq finished t)) 184 nil)
187 ((or (looking-at "< ") (looking-at "<=")) 185 ((or (looking-at "< ") (looking-at "<="))
188 (setq finished t)) 186 nil)
189 ((looking-at "<") 187 ((looking-at "<")
190 (setq finished t)) 188 (setq finished t))
189 ((save-excursion (backward-char 1) (looking-at " >"))
190 nil)
191 ((looking-at ">") 191 ((looking-at ">")
192 (cond 192 (cond
193 ((> depth 0) 193 ((> depth 0)
194 (if (not (re-search-backward "<" nil t)) 194 (if (not (re-search-backward "<" nil t))
195 (setq finished t))) 195 (setq finished t)))