mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-30 03:40:34 +02:00
* libguile/print.c (symbol_has_extended_read_syntax): Use a more general, unicode-appropriate algorithm. Hopefully doesn't cause any current #{}# cases to be unescaped. (print_extended_symbol): Use more appropriate unicode algorithm, and emit unicode hex escapes instead of our own lame escapes. * test-suite/tests/symbols.test: Add tests.
158 lines
4.4 KiB
Scheme
158 lines
4.4 KiB
Scheme
;;;; symbols.test --- test suite for Guile's symbols -*- scheme -*-
|
|
;;;;
|
|
;;;; Copyright (C) 2001, 2006, 2008, 2009, 2011 Free Software Foundation, Inc.
|
|
;;;;
|
|
;;;; This library is free software; you can redistribute it and/or
|
|
;;;; modify it under the terms of the GNU Lesser General Public
|
|
;;;; License as published by the Free Software Foundation; either
|
|
;;;; version 3 of the License, or (at your option) any later version.
|
|
;;;;
|
|
;;;; This library is distributed in the hope that it will be useful,
|
|
;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
;;;; Lesser General Public License for more details.
|
|
;;;;
|
|
;;;; You should have received a copy of the GNU Lesser General Public
|
|
;;;; License along with this library; if not, write to the Free Software
|
|
;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
|
|
(define-module (test-suite test-symbols)
|
|
#:use-module (test-suite lib)
|
|
#:use-module (ice-9 documentation))
|
|
|
|
|
|
;;;
|
|
;;; miscellaneous
|
|
;;;
|
|
|
|
(define exception:immutable-string
|
|
(cons 'misc-error "^string is read-only"))
|
|
|
|
(define (documented? object)
|
|
(not (not (object-documentation object))))
|
|
|
|
(define (symbol-length s)
|
|
(string-length (symbol->string s)))
|
|
|
|
;;
|
|
;; symbol internals
|
|
;;
|
|
|
|
(with-test-prefix "symbol internals"
|
|
|
|
(pass-if "length of new symbol same as stringbuf"
|
|
(let ((s 'def))
|
|
(= (symbol-length s) (assq-ref (%symbol-dump s) 'stringbuf-length))))
|
|
|
|
(pass-if "contents of new symbol same as stringbuf"
|
|
(let ((s 'ghi))
|
|
(string=? (symbol->string s)
|
|
(assq-ref (%symbol-dump s) 'stringbuf-chars))))
|
|
|
|
|
|
(with-test-prefix "hashes"
|
|
|
|
(pass-if "equal symbols have equal hashes"
|
|
(let ((s1 'mux)
|
|
(s2 'mux))
|
|
(= (assq-ref (%symbol-dump s1) 'hash)
|
|
(assq-ref (%symbol-dump s2) 'hash))))
|
|
|
|
(pass-if "different symbols have different hashes"
|
|
(let ((s1 'mux)
|
|
(s2 'muy))
|
|
(not (= (assq-ref (%symbol-dump s1) 'hash)
|
|
(assq-ref (%symbol-dump s2) 'hash))))))
|
|
|
|
(with-test-prefix "encodings"
|
|
|
|
(pass-if "the null symbol is Latin-1 encoded"
|
|
(let ((s '#{}#))
|
|
(not (assq-ref (%symbol-dump s) 'stringbuf-wide))))
|
|
|
|
(pass-if "ASCII symbols are Latin-1 encoded"
|
|
(let ((s 'jkl))
|
|
(not (assq-ref (%symbol-dump s) 'stringbuf-wide))))
|
|
|
|
(pass-if "Latin-1 symbols are Latin-1 encoded"
|
|
(let ((s (string->symbol "\xC0\xC1\xC2")))
|
|
(not (assq-ref (%symbol-dump s) 'stringbuf-wide))))
|
|
|
|
(pass-if "BMP symbols are UCS-4 encoded"
|
|
(let ((s (string->symbol "\u0100\u0101\x0102")))
|
|
(assq-ref (%symbol-dump s) 'stringbuf-wide)))
|
|
|
|
(pass-if "SMP symbols are UCS-4 encoded"
|
|
(let ((s (string->symbol "\U010300\u010301\x010302")))
|
|
(assq-ref (%symbol-dump s) 'stringbuf-wide)))))
|
|
|
|
;;;
|
|
;;; symbol?
|
|
;;;
|
|
|
|
(with-test-prefix "symbol?"
|
|
|
|
(pass-if "documented?"
|
|
(documented? symbol?))
|
|
|
|
(pass-if "string"
|
|
(not (symbol? "foo")))
|
|
|
|
(pass-if "symbol"
|
|
(symbol? 'foo)))
|
|
|
|
;;;
|
|
;;; wide symbols
|
|
;;;
|
|
|
|
(with-test-prefix "BMP symbols"
|
|
|
|
(pass-if "BMP symbol's string"
|
|
(and (= 4 (string-length "abc\u0100"))
|
|
(string=? "abc\u0100"
|
|
(symbol->string (string->symbol "abc\u0100"))))))
|
|
|
|
;;;
|
|
;;; symbol->string
|
|
;;;
|
|
|
|
(with-test-prefix "symbol->string"
|
|
|
|
(pass-if-exception "result is an immutable string"
|
|
exception:immutable-string
|
|
(string-set! (symbol->string 'abc) 1 #\space)))
|
|
|
|
|
|
;;;
|
|
;;; gensym
|
|
;;;
|
|
|
|
(with-test-prefix "gensym"
|
|
|
|
(pass-if "documented?"
|
|
(documented? gensym))
|
|
|
|
(pass-if "produces a symbol"
|
|
(symbol? (gensym)))
|
|
|
|
(pass-if "produces a fresh symbol"
|
|
(not (eq? (gensym) (gensym))))
|
|
|
|
(pass-if "accepts a string prefix"
|
|
(symbol? (gensym "foo")))
|
|
|
|
(pass-if-exception "does not accept a symbol prefix"
|
|
exception:wrong-type-arg
|
|
(gensym 'foo))
|
|
|
|
(pass-if "accepts long prefices"
|
|
(symbol? (gensym (make-string 4000 #\!))))
|
|
|
|
(pass-if "accepts embedded NULs"
|
|
(> (string-length (symbol->string (gensym "foo\0bar\0braz\0foo\0bar\0braz\0foo\0bar\0braz\0foo\0bar\0braz\0foo\0bar\0braz\0foo\0bar\0braz\0"))) 6)))
|
|
|
|
(with-test-prefix "extended read syntax"
|
|
(pass-if (equal? "#{}#" (object->string (string->symbol ""))))
|
|
(pass-if (equal? "a" (object->string (string->symbol "a"))))
|
|
(pass-if (equal? "#{a b}#" (object->string (string->symbol "a b"))))
|
|
(pass-if (equal? "#{\\x7d;}#" (object->string (string->symbol "}")))))
|