From ee388bbb24abb4457435820319338b3e68af55ad Mon Sep 17 00:00:00 2001 From: Christina Richards <1051985+cdrichards@users.noreply.github.com> Date: Wed, 25 Feb 2026 18:49:44 -0500 Subject: [PATCH] twelf-mode: s/string-to-int/string-to-number/ --- emacs/auc-menu.el | 4 ++-- emacs/twelf.el | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/emacs/auc-menu.el b/emacs/auc-menu.el index f6483b06..ff2160f3 100644 --- a/emacs/auc-menu.el +++ b/emacs/auc-menu.el @@ -101,7 +101,7 @@ DOC is the documentation string, and MENU is a Lucid style menu." ;;; Emacs 18 -((< (string-to-int emacs-version) 19) +((< (string-to-number emacs-version) 19) (defun easy-menu-do-define (symbol maps doc menu) (fset symbol (symbol-function 'ignore))) @@ -244,7 +244,7 @@ Call this from 'activate-menubar-hook' to implement dynamic menus." (defun easy-menu-add (menu &optional map) (and (string-match "^19\\.\\([0-9]+\\)" emacs-version) - (< 22 (string-to-int (substring emacs-version + (< 22 (string-to-number (substring emacs-version (match-beginning 1) (match-end 1)))) (x-popup-menu nil menu))) diff --git a/emacs/twelf.el b/emacs/twelf.el index 0a04a35c..4c51f12d 100644 --- a/emacs/twelf.el +++ b/emacs/twelf.el @@ -1028,7 +1028,7 @@ read a file name from the minibuffer." (defun looked-at-nth-int (n) (let ((str (looked-at-nth n))) (if (null str) nil - (string-to-int str)))) + (string-to-number str)))) (defun twelf-error-parser (pt) "Standard parser for Twelf errors. @@ -1610,9 +1610,9 @@ server buffer." (setq default-directory expanded-dir) (pwd))) ;;((string-match "^set\\s +chatter\\s +\\([0-9]\\)+" input) - ;; (setq twelf-chatter (string-to-int (looked-at-string input 1)))) + ;; (setq twelf-chatter (string-to-number (looked-at-string input 1)))) ;; ((string-match "^set\\s +Trace\\.detail\\s +\\([0-9]\\)+" input) - ;; (setq twelf-trace-detail (string-to-int (looked-at-string input 1)))) + ;; (setq twelf-trace-detail (string-to-number (looked-at-string input 1)))) ((string-match "^set\\s-+\\(\\S-+\\)\\s-+\\(\\w+\\)" input) (if (assoc (looked-at-string input 1) *twelf-track-parms*) (set (cdr (assoc (looked-at-string input 1) *twelf-track-parms*)) @@ -2026,7 +2026,7 @@ Starts a Twelf servers if necessary." (let ((input (read-string "Limit (* or nat): "))) (if (equal input "*") input - (let ((n (string-to-int input))) + (let ((n (string-to-number input))) (if (and (integerp n) (> n 0)) (int-to-string n) (error "Number must be non-negative integer"))))))