Emacs compatibility/API updates: string-to-int -> string-to-number

7 files changed, 12 insertions, 12 deletions

diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el
index d9f7f5a1..4393a502 100644
--- a/generic/pg-pbrpm.el
+++ b/generic/pg-pbrpm.el
@@ -219,7 +219,7 @@ The prover command is processed via pg-pbrpm-run-command."
 		  (goto-char pos)
 		  (if (search-forward-regexp "\\\\|\\([0-9]\\)" start t)
 		      (progn
-			(setq goalnum (string-to-int (match-string 1)))
+			(setq goalnum (string-to-number (match-string 1)))
 			(let ((len (- (match-end 0) (match-beginning 0))))
 			  (setq end (- end len))
 			  (setq start (- start len)))
@@ -356,7 +356,7 @@ The prover command is processed via pg-pbrpm-run-command."
 	     (buffer (event-buffer event))
 	     (r (pg-pbrpm-get-pos-info  (pg-pbrpm-translate-position buffer pos))))
 	(if r (list
-	       (string-to-int (car r)) ; should not be an int for other prover
+	       (string-to-number (car r)) ; should not be an int for other prover
 	       (if (eq proof-goals-buffer buffer) (cdr r) (auto-select-arround-pos))
 	       (if (and start end (eq proof-goals-buffer buffer) 
 			(<= (marker-position start) pos) (<= pos  (marker-position end)))
@@ -457,7 +457,7 @@ The prover command is processed via pg-pbrpm-run-command."
 	       (setq r (pg-pbrpm-get-region-info start end))
 	       (if r 
 		   (list
-		    (string-to-int (car r)) ; should not be an int for other prover
+		    (string-to-number (car r)) ; should not be an int for other prover
 		    (cdr r)
 		    (pg-pbrpm-region-expression buffer start end))
 		 (list 0 "none" (pg-pbrpm-region-expression buffer start end))))
diff --git a/generic/pg-pgip-old.el b/generic/pg-pgip-old.el
index b4672ee0..49287b7e 100644
--- a/generic/pg-pgip-old.el
+++ b/generic/pg-pgip-old.el
@@ -64,9 +64,9 @@
 	nil))))
 
 (defun pg-pgip-old-interpret-int (value)
-  ;; FIXME: string-to-int returns zero for non int string,
+  ;; FIXME: string-to-number returns zero for non int string,
   ;; should have better validation here.
-  (string-to-int value))
+  (string-to-number value))
 
 (defun pg-pgip-old-interpret-string (value)
   value)
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
index 8b12065d..8af6b0dc 100644
--- a/generic/pg-pgip.el
+++ b/generic/pg-pgip.el
@@ -500,7 +500,7 @@ Also sets local proverid and srcid variables for buffer."
      (t (progn
 	  (pg-pgip-warning "pg-pgip-interpret-value: received non-bool value %s" value)
 	  nil))))
-   ((eq type 'integer)		 (string-to-int value))
+   ((eq type 'integer)		 (string-to-number value))
    ((eq type 'string)		 value)
    ((eq (car-safe type) 'const)  value)
    ((eq (car-safe type) 'choice)
diff --git a/generic/pg-response.el b/generic/pg-response.el
index efba8e12..015b111a 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -380,9 +380,9 @@ and start at the first error."
 			     (beginning-of-line)
 			     (point)))
 	      (setq line (match-string 2)) ; may be unset
-	      (if line (setq line (string-to-int line)))
+	      (if line (setq line (string-to-number line)))
 	      (setq column (match-string 3)) ; may be unset
-	      (if column (setq column (string-to-int column)))
+	      (if column (setq column (string-to-number column)))
 	      (setq pg-response-next-error wanted-error)
 	      (if (and
 		   pg-next-error-filename-regexp
diff --git a/generic/pg-user.el b/generic/pg-user.el
index 0fcf66de..5339f2ed 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -750,7 +750,7 @@ last use time, to discourage saving these into the users database."
 	span
       (if noerr
 	  nil
-	(error "No region to move past" num)))))
+	(error "No region to move past")))))
 
 (defun pg-control-span-of (span)
   "Return the controlling span of SPAN, or SPAN itself."
@@ -814,8 +814,8 @@ If NUM is negative, move upwards.  Return new span."
 
 (defun pg-fixup-children-span (span)
   (if (span-property span 'controlspan)
-      ;; WARNING: dynamic binding for new-span
       (progn
+	;; WARNING: dynamic binding for new-span
 	(set-span-property span 'controlspan new-span)
 	(list span))))
       
diff --git a/generic/pg-xhtml.el b/generic/pg-xhtml.el
index cdd84f8f..e7e1e604 100644
--- a/generic/pg-xhtml.el
+++ b/generic/pg-xhtml.el
@@ -59,7 +59,7 @@ BODY should contain a sequence of pg-xml writing commands."
     (or (eq (car-safe (file-attributes dir)) 't)
 	(if (not (file-attributes dir))
 	    (make-directory (pg-xhtml-dir) t)
-	  (error "pg-xhtml-write-tempfile: cannot open temp dir " 
+	  (error "Cannot open temp dir %s (in pg-xhtml-write-tempfile)" 
 		 (pg-xhtml-dir))))
     `(with-temp-file ,file
       (pg-xml-begin-write t)
diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 1ce3c577..2333541f 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -152,7 +152,7 @@ without adjusting window layout."
   (easy-menu-define 
     proof-assistant-menu 
     proof-mode-map
-    (concat "The menu for " proof-assistant)
+    `(concat "The menu for " proof-assistant)
     (cons proof-assistant
 	    (append
 	     (proof-ass menu-entries)