From c1d4d5b2b0ba2220bd31b20ea02eb4ec80bdc8ac Mon Sep 17 00:00:00 2001 From: Wojtek Kosior Date: Thu, 7 Dec 2023 22:17:53 +0100 Subject: Initial commit. --- tests/guile/Makefile.am | 25 ++++ tests/guile/de-paul-records-test.scm | 229 +++++++++++++++++++++++++++++++++++ 2 files changed, 254 insertions(+) create mode 100644 tests/guile/Makefile.am create mode 100644 tests/guile/de-paul-records-test.scm (limited to 'tests') diff --git a/tests/guile/Makefile.am b/tests/guile/Makefile.am new file mode 100644 index 0000000..4dd1658 --- /dev/null +++ b/tests/guile/Makefile.am @@ -0,0 +1,25 @@ +# SPDX-License-Identifier: CC0-1.0 +# +# Copyright (C) 2023 Wojtek Kosior + +GUILE_SOURCE_FILES = \ + $(PACKAGE)-test.scm + +GUILE_OBJECT_FILES = $(GUILE_SOURCE_FILES:.scm=.go) + + +TEST_EXTENSIONS = .scm + +SCM_LOG_DRIVER = $(top_builddir)/pre-inst-env $(GUILE_TEST_DRIVER) + +TESTS = $(GUILE_SOURCE_FILES) + + +dist_noinst_DATA = $(GUILE_SOURCE_FILES) + +check_DATA = $(GUILE_OBJECT_FILES) + +MOSTLYCLEANFILES = $(GUILE_OBJECT_FILES) + +.scm.go: + $(top_builddir)/pre-inst-env $(GUILD) compile --output=$@ $< diff --git a/tests/guile/de-paul-records-test.scm b/tests/guile/de-paul-records-test.scm new file mode 100644 index 0000000..d8970a4 --- /dev/null +++ b/tests/guile/de-paul-records-test.scm @@ -0,0 +1,229 @@ +;;; SPDX-License-Identifier: CC0-1.0 +;;; +;;; Copyright (C) 2023 Wojtek Kosior + +(use-modules ((srfi srfi-35) #:select (extract-condition condition-ref)) + ((ice-9 safe-r5rs) #:select (null-environment)) + ((srfi srfi-64) #:select (test-group)) + ((myra-test-utils) #:prefix tu:)) + +(define (make-env) + (let ((env (null-environment 5))) + (module-use! env (resolve-interface '(guile))) + env)) + +(define (test-env name) + (resolve-module `(de-paul-records-test ,name))) + +(test-group "exported record " + (tu:test-assert + (or (eval '(begin + (define-module (de-paul-records-test lisp) + #:use-module ((de-paul-records))) + + (define-immutable-record-type* lisp + (name) + is-scheme? + #:export? yes,ofcourse + (is-syntactically-scoped? #:default #f) + #:finalize (lambda (the-lisp) + (set-field the-lisp + (lisp-is-syntactically-scoped?) + (or (lisp-is-syntactically-scoped? + the-lisp) + (lisp-is-scheme? the-lisp)))))) + (make-env)) + #t)) + + (tu:test-assert (macro? (module-ref (resolve-interface + '(de-paul-records-test lisp)) + 'lisp))) + + (tu:test-error (lambda (condition) + (let ((subcond (extract-condition + condition + &exception-with-kind-and-args))) + (eq? 'misc-error (condition-ref subcond 'kind)))) + (module-ref (resolve-interface + '(de-paul-records-test lisp)) + '*lisp)) + + (test-group "lisp paren-3001" + (tu:test-equal '(#f "paren-3001" #f) + (eval '(begin + (define %paren-3001 + (lisp (is-scheme? #f) + (name "paren-3001"))) + + (match %paren-3001 + (($* lisp + is-syntactically-scoped? + name + is-scheme?) + (list is-syntactically-scoped? + name + is-scheme?)))) + (test-env 'lisp))) + + (tu:test-equal '(iss? #f is? #f) + (eval '(match %paren-3001 + (($* lisp + (is-syntactically-scoped? iss?) + (name "paren-3001") + (is-scheme? is? $f)) + (list 'iss? iss? 'is? is?))) + (test-env 'lisp)))) + + (test-group "lisp paren-3002" + (tu:test-equal '#t + (eval + '(begin + (define %paren-3002 + (lisp #:<- %paren-3001 + (name "paren-3002") + (is-syntactically-scoped? #t))) + + (match `(a . ,%paren-3002) + (`(a . ,($* lisp is-syntactically-scoped?)) + is-syntactically-scoped?))) + (test-env 'lisp))) + + (tu:test-equal '(#f "paren-3002") + (eval + '(match (vector %paren-3002) + (#(($* lisp is-scheme? name)) + (list is-scheme? name))) + (test-env 'lisp)))) + + (test-group "lisp paren-3003" + (tu:test-equal '(#t #t) + (eval + '(begin + (define %paren-3003 + (let ((name "paren-3003")) + (lisp #:<- (lisp) + name + (is-scheme? (string-suffix? "-3003" name))))) + + (match %paren-3003 + (($* lisp is-scheme? is-syntactically-scoped?) + (list is-scheme? is-syntactically-scoped?)))) + (test-env 'lisp))) + + (tu:test-equal "paren-3003" + (eval '(lisp-name %paren-3003) + (test-env 'lisp)))) + + (test-group "lisp paren-3004" + (tu:test-equal '(#t #f) + (eval + '(begin + (define %paren-3004 + ;; (*lisp ...) form is a "primitive" variant of the + ;; (lisp ...) form — it shall not call the finalizer. + (*lisp #:<- (lisp) + (name "paren-3004") + (is-scheme? #t))) + + (match %paren-3004 + (($* lisp is-scheme? is-syntactically-scoped?) + (list is-scheme? is-syntactically-scoped?)))) + (test-env 'lisp))))) + +(test-group "match behavior" + (tu:test-assert + (or (eval '(begin + (define-module (de-paul-records-test match) + #:use-module ((de-paul-records))) + + (define (some-record? _) + #f)) + (make-env)) + #t)) + + (tu:test-error (lambda (condition) + (let ((subcond (extract-condition + condition + &exception-with-kind-and-args))) + (eq? 'match-error (condition-ref subcond 'kind)))) + (eval '(match (list 'a 'b) + (($* some-record) + "should not match")) + (test-env 'match))) + + (tu:test-error (lambda (condition) + (let ((subcond (extract-condition + condition + &exception-with-kind-and-args))) + (eq? 'unbound-variable (condition-ref subcond 'kind)))) + (eval '(match (list 'a 'b) + (($* nonexistent-record) + "should error out")) + (test-env 'match))) + + (tu:test-equal 'sth2 + (eval '(match `(($* sth1 sth2) . b) + (`(($* sth1 ,second-sth) . b) + second-sth)) + (test-env 'match))) + + (tu:test-equal "matched with predicate" + (eval '(match "matched with predicate" + ((? (lambda (_) + ;; $* form shall not get altered by match + ;; because it's inside a predicate form of + ;; (? pred pat ooo) + (define ($* a b) + b) + + ($* 'dummy #t)) + matched-value) + matched-value)) + (test-env 'match))) + + (tu:test-equal "matched with 'getter'" + (eval '(match "'getter'" + ((= (lambda (string) + ;; $* form shall not get altered by match + ;; because it's inside a field form of + ;; (= field pat) + (define ($* a b) + b) + + ($* 'dummy (string-append "matched with " + string))) + produced-value) + produced-value)) + (test-env 'match)))) + +(test-group "non-exported record " + (tu:test-assert + (or (eval '(begin + (define-module (de-paul-records-test rsa-secret-key-1) + #:use-module ((de-paul-records))) + + (define-immutable-record-type* rsa-secret-key + (bytes) + #:export? #f)) + (make-env)) + #t)) + + (tu:test-eq 'absent (module-ref (resolve-interface + '(de-paul-records-test rsa-secret-key-1)) + 'rsa-secret-key + 'absent)) + + (tu:test-assert + (or (eval '(begin + (define-module (de-paul-records-test rsa-secret-key-2) + #:use-module ((de-paul-records))) + + (define-immutable-record-type* rsa-secret-key + (bytes))) + (make-env)) + #t)) + + (tu:test-eq 'absent (module-ref (resolve-interface + '(de-paul-records-test rsa-secret-key-2)) + 'rsa-secret-key-bytes + 'absent))) -- cgit v1.2.3