1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-29 19:30:36 +02:00
guile/test-suite/tests/symbols.test
Andy Wingo 2e9fc9fc73 symbols with odd characters print better in #{}#
* 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.
2011-04-11 13:48:11 +02:00

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 "}")))))