;; -*-theme-d-*-

;; Copyright (C) 2017 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.

;; Expected results: translation and running OK
;; Expected output: #f #f #t #t #t #t #t #t #f #t


(define-proper-program (tests test564)


  (import (standard-library core)
	  (standard-library console-io))

  (define-simple-proc my-proc1 (((l (:uniform-list <integer>))) <boolean> pure)
    (equal? l null))

  (define-class <my-class1> <object> #t #f #f public ()
    ((i <integer> public module)))

  (define-class <my-class2> <object> #f #f #f public ()
    ((i <integer> public module)))

  (define main
    (lambda (() <none> nonpure)
      (console-display-line (my-proc1 '(1 2 3)))
      (console-display-line (equal? 'abc "abc"))
      (console-display-line (equal? null null))
      (let ((eof (make-eof)))
	(console-display-line (equal? eof eof)))
      (console-display-line (equal? 'abc 'abc))
      (let ((x1 (make <my-class1> 10))
	    (x2 (make <my-class2> 20)))
	(console-display-line (equal-objects? x1 x1))
	(console-display-line (equal? x1 x1))
	(console-display-line (equal? x2 x2))
	(console-display-line (equal? x1 x2))
	(console-display-line (equal-contents? x2 x2))))))
