Mercurial > hg > xemacs-beta
annotate tests/automated/tag-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 | 43b4a54fbf66 |
children | 189fb67ca31a |
rev | line source |
---|---|
2071 | 1 ;; Copyright (C) 2004 Vin Shelton |
2 | |
3 ;; Author: Vin Shelton <acs@xemacs.org> | |
4 ;; Maintainer: Vin Shelton <acs@xemacs.org> | |
5 ;; Created: 2004 | |
6 ;; Keywords: tests | |
7 | |
8 ;; This file is part of XEmacs. | |
9 | |
10 ;; XEmacs is free software; you can redistribute it and/or modify it | |
11 ;; under the terms of the GNU General Public License as published by | |
12 ;; the Free Software Foundation; either version 2, or (at your option) | |
13 ;; any later version. | |
14 | |
15 ;; XEmacs is distributed in the hope that it will be useful, but | |
16 ;; WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
18 ;; General Public License for more details. | |
19 | |
20 ;; You should have received a copy of the GNU General Public License | |
21 ;; along with XEmacs; see the file COPYING. If not, write to the Free | |
22 ;; Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA | |
23 ;; 02111-1307, USA. | |
24 | |
25 ;;; Synched up with: Not in FSF. | |
26 | |
27 ;;; Commentary: | |
28 | |
2073 | 29 ;; Test tag support. |
2071 | 30 ;; See test-harness.el for instructions on how to run these tests. |
31 | |
32 (let ((testfile "tag-test.c") | |
2073 | 33 (tagfile "TAGS") |
34 (tags-build-completion-table nil)) | |
35 | |
36 (cd (temp-directory)) | |
2071 | 37 |
38 ;; Create a TAGS file | |
39 (with-temp-file tagfile | |
40 (insert | |
41 " | |
42 tag-test.c,99 | |
2076 | 43 struct mystruct mystruct2,1 |
2071 | 44 struct mystruct *foo\(4,23 |
2076 | 45 DEFUN \(\"require\", Frequire,require,7,51 |
2071 | 46 ")) |
47 | |
48 ;; Create the test file | |
49 (with-temp-file testfile | |
50 (insert | |
51 " | |
52 struct mystruct { }; | |
53 | |
54 struct mystruct *foo\(\) { | |
55 } | |
56 | |
57 DEFUN \(\"require\", Frequire, 1, 2, 0, /* | |
58 If feature FEATURE is not loaded, load it from FILENAME. | |
59 If FEATURE is not a member of the list `features', then the feature | |
60 is not loaded; so load the file FILENAME. | |
61 If FILENAME is omitted, the printname of FEATURE is used as the file name. | |
62 */ | |
63 \(feature, filename\)\) | |
64 { | |
65 } | |
66 ")) | |
67 | |
68 (let ((tags-always-exact t)) | |
69 | |
70 ;; Search for the tag "mystruct"; this should succeed | |
3472 | 71 (Silence-Message |
72 (find-tag "mystruct")) | |
2071 | 73 (Assert (eq (point) 2)) |
74 | |
75 ;; Search again. The search should fail, based on the patch that | |
76 ;; Sven Grundmann submitted for 21.4.16. | |
77 (Check-Error-Message error "No more entries matching mystruct" | |
3472 | 78 (Silence-Message |
79 (tags-loop-continue)))) | |
2071 | 80 |
81 (let ((tags-always-exact nil)) | |
82 | |
83 ;; Search for the definition of "require". Until the etags.el upgrade | |
84 ;; from 21.5 in 21.4.16, this test would fail. | |
85 (condition-case nil | |
3472 | 86 (Silence-Message |
87 (find-tag "require")) | |
2071 | 88 (t t)) |
89 (Assert (eq (point) 52))) | |
90 | |
91 (kill-buffer testfile) | |
92 (delete-file testfile) | |
93 (kill-buffer tagfile) | |
94 (delete-file tagfile)) |