2177 |
(cond ((string= ex-token-type "plus") "add-number") |
(cond ((string= ex-token-type "plus") "add-number") |
2178 |
((string= ex-token-type "minus") "sub-number") |
((string= ex-token-type "minus") "sub-number") |
2179 |
(t "abs-number"))) |
(t "abs-number"))) |
2180 |
(setq ex-token (string-to-int (buffer-substring (point) (mark))))) |
(setq ex-token (string-to-number (buffer-substring (point) (mark))))) |
2181 |
((looking-at "\\$") |
((looking-at "\\$") |
2182 |
(forward-char 1) |
(forward-char 1) |
2183 |
(setq ex-token-type "end")) |
(setq ex-token-type "end")) |
2471 |
(progn |
(progn |
2472 |
(set-mark (point)) |
(set-mark (point)) |
2473 |
(re-search-forward "[0-9][0-9]*") |
(re-search-forward "[0-9][0-9]*") |
2474 |
(setq ex-count (string-to-int (buffer-substring (point) (mark)))) |
(setq ex-count (string-to-number (buffer-substring (point) (mark)))) |
2475 |
(skip-chars-forward " \t"))) |
(skip-chars-forward " \t"))) |
2476 |
(if (looking-at "[pl#]") |
(if (looking-at "[pl#]") |
2477 |
(progn |
(progn |
2496 |
(progn |
(progn |
2497 |
(set-mark (point)) |
(set-mark (point)) |
2498 |
(re-search-forward "[0-9][0-9]*") |
(re-search-forward "[0-9][0-9]*") |
2499 |
(setq ex-count (string-to-int (buffer-substring (point) (mark)))) |
(setq ex-count (string-to-number (buffer-substring (point) (mark)))) |
2500 |
(skip-chars-forward " \t"))) |
(skip-chars-forward " \t"))) |
2501 |
(if (looking-at "[pl#]") |
(if (looking-at "[pl#]") |
2502 |
(progn |
(progn |