annotate tests/automated/os-tests.el @ 4678:b5e1d4f6b66f

Make #'floor, #'ceiling, #'round, #'truncate conform to Common Lisp. lisp/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * cl-extra.el (ceiling*, floor*, round*, truncate*): Implement these in terms of the C functions; mark them as obsolete. (mod*, rem*): Use #'nth-value with the C functions, not #'nth with the CL emulation functions. man/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * lispref/numbers.texi (Bigfloat Basics): Correct this documentation (ignoring for the moment that it breaks off in mid-sentence). tests/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * automated/lisp-tests.el: Test the new Common Lisp-compatible rounding functions available in C. (generate-rounding-output): Provide a function useful for generating the data for the rounding functions tests. src/ChangeLog addition: 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> * floatfns.c (ROUNDING_CONVERT, CONVERT_WITH_NUMBER_TYPES) (CONVERT_WITHOUT_NUMBER_TYPES, MAYBE_TWO_ARGS_BIGNUM) (MAYBE_ONE_ARG_BIGNUM, MAYBE_TWO_ARGS_RATIO) (MAYBE_ONE_ARG_RATIO, MAYBE_TWO_ARGS_BIGFLOAT) (MAYBE_ONE_ARG_BIGFLOAT, MAYBE_EFF, MAYBE_CHAR_OR_MARKER): New macros, used in the implementation of the rounding functions. (ceiling_two_fixnum, ceiling_two_bignum, ceiling_two_ratio) (ceiling_two_bigfloat, ceiling_one_ratio, ceiling_one_bigfloat) (ceiling_two_float, ceiling_one_float, ceiling_one_mundane_arg) (floor_two_fixnum, floor_two_bignum, floor_two_ratio) (floor_two_bigfloat, floor_one_ratio, floor_one_bigfloat) (floor_two_float, floor_one_mundane_arg, round_two_fixnum) (round_two_bignum_1, round_two_bignum, round_two_ratio) (round_one_bigfloat_1, round_two_bigfloat, round_one_ratio) (round_one_bigfloat, round_two_float, round_one_float) (round_one_mundane_arg, truncate_two_fixnum) (truncate_two_bignum, truncate_two_ratio, truncate_two_bigfloat) (truncate_one_ratio, truncate_one_bigfloat, truncate_two_float) (truncate_one_float, truncate_one_mundane_arg): New functions, used in the implementation of the rounding functions. (Fceiling, Ffloor, Fround, Ftruncate, Ffceiling, Fffloor) (Ffround, Fftruncate): Revise to fully support Common Lisp conventions. This means: -- All functions have optional DIVISOR arguments -- All functions return multiple values; see #'values -- All functions do their arithmetic with the correct number types according to the contamination rules. -- #'round and #'fround always round towards the even number in ambiguous cases. * doprnt.c (emacs_doprnt_1): * number.c (internal_coerce_number): Call Ftruncate with two arguments, not one. * floatfns.c (Ffloat): Correct this, if NUMBER is a bignum. * lisp.h: Declare Ftruncate as taking two arguments. * number.c: Provide scratch_ratio2, init it appropriately. * number.h: Make scratch_ratio2 available. * number.h (BIGFLOAT_ARITH_RETURN): * number.h (BIGFLOAT_ARITH_RETURN1): Correct these functions.
author Aidan Kehoe <kehoea@parhasard.net>
date Tue, 11 Aug 2009 17:59:23 +0100
parents 3660d327399f
children 308d34e9f07d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2356
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
1 ;;; os-tests.el --- test support for OS interaction
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
2
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
3 ;; Copyright (C) 2004 Free Software Foundation
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
4
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
5 ;; Author: Stephen J. Turnbull <stephen@xemacs.org>
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
6 ;; Maintainer: Stephen J. Turnbull <stephen@xemacs.org>
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
7 ;; Created: 2004 October 28
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
8 ;; Keywords: tests, process support
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
9
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
10 ;; This file is part of XEmacs.
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
11
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
12 ;; XEmacs is free software; you can redistribute it and/or modify it
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
13 ;; under the terms of the GNU General Public License as published by
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
14 ;; the Free Software Foundation; either version 2, or (at your option)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
15 ;; any later version.
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
16
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
17 ;; XEmacs is distributed in the hope that it will be useful, but
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
18 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
20 ;; General Public License for more details.
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
21
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
22 ;; You should have received a copy of the GNU General Public License
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
23 ;; along with XEmacs; see the file COPYING. If not, write to the Free
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
24 ;; Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
25 ;; 02111-1307, USA.
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
26
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
27 ;;; Synched up with: Not in FSF.
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
28
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
29 ;;; Commentary:
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
30
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
31 ;; Test OS support. Processes, environment variables, etc.
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
32 ;; See test-harness.el for instructions on how to run these tests.
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
33
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
34 ;; call-process-region bug reported by Katsumi Yamaoka on 2004-10-26
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
35 ;; in <b9yvfcyuscf.fsf@jpl.org>, who suggested the basic test scheme
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
36 ;; in <b9yoeipvwn0.fsf@jpl.org>.
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
37
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
38 ;; tac works by lines, unfortunately
4199
3660d327399f [xemacs-hg @ 2007-10-01 08:07:39 by stephent]
stephent
parents: 2356
diff changeset
39 ;; #### The contortions around `executable-find' gag me, but I don't have time
3660d327399f [xemacs-hg @ 2007-10-01 08:07:39 by stephent]
stephent
parents: 2356
diff changeset
40 ;; to deal today. If we have `executable-find', we should use its value!
2356
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
41 (let* ((original-string "a\nb\nc\nd\n")
4199
3660d327399f [xemacs-hg @ 2007-10-01 08:07:39 by stephent]
stephent
parents: 2356
diff changeset
42 ;; `executable-find' is in a package and may be unavailable.
3660d327399f [xemacs-hg @ 2007-10-01 08:07:39 by stephent]
stephent
parents: 2356
diff changeset
43 (tac-cases (if (and (fboundp 'executable-find) (executable-find "tac"))
2356
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
44 '((1 . "c\nb\na\nd\n")
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
45 (3 . "a\nc\nb\nd\n")
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
46 (5 . "a\nc\nb\nd\n")
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
47 (7 . "a\nc\nb\nd\n")
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
48 (9 . "a\nd\nc\nb\n"))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
49 nil))
4199
3660d327399f [xemacs-hg @ 2007-10-01 08:07:39 by stephent]
stephent
parents: 2356
diff changeset
50 (cat-cases (if (and (fboundp 'executable-find) (executable-find "cat"))
2356
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
51 '((1 . "b\nc\na\nd\n")
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
52 (3 . "a\nb\nc\nd\n")
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
53 (5 . "a\nb\nc\nd\n")
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
54 (7 . "a\nb\nc\nd\n")
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
55 (9 . "a\nd\nb\nc\n"))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
56 nil))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
57 cases case)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
58 (with-temp-buffer
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
59 (Skip-Test-Unless tac-cases
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
60 "tac executable not found"
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
61 "Tests of call-process-region with region deleted after inserting
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
62 tac process output."
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
63 (setq cases tac-cases)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
64 (while cases
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
65 (setq case (car cases)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
66 cases (cdr cases))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
67 (flet ((do-test (pos result)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
68 (erase-buffer)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
69 (insert original-string)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
70 (goto-char pos)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
71 (call-process-region 3 7 "tac" t t)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
72 (goto-char (point-min))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
73 (Assert (looking-at result))))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
74 (do-test (car case) (cdr case)))))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
75 ;; if you're in that much of a hurry you can blow cat off
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
76 ;; if you've done tac, but I'm not going to bother
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
77 (Skip-Test-Unless cat-cases
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
78 "cat executable not found"
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
79 "Tests of call-process-region with region deleted after inserting
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
80 cat process output."
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
81 (setq cases cat-cases)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
82 (while cases
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
83 (setq case (car cases)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
84 cases (cdr cases))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
85 (flet ((do-test (pos result)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
86 (erase-buffer)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
87 (insert original-string)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
88 (goto-char pos)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
89 (call-process-region 3 7 "cat" t t)
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
90 (goto-char (point-min))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
91 (Assert (looking-at result))))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
92 (do-test (car case) (cdr case)))))))
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
93
0b060ef35789 [xemacs-hg @ 2004-10-28 11:31:09 by stephent]
stephent
parents:
diff changeset
94 ;;; end of os-tests.el