;; -*-theme-d-*-

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

;; Expected results: translation and running OK

(define-proper-program (tests test745)

  (import (standard-library core)
	  (tests numerical-test-env))

  (define-simple-proc main (() <none> nonpure)
    (let ((eof (make-eof)))
      (report-boolean-test (equal-values? eof eof) #t)
      (report-boolean-test
       (equal-values? (static-cast <object> eof) eof) #t)
      (report-boolean-test
       (equal-values? eof (static-cast <object> eof)) #t)
      (report-boolean-test
       (equal-values? (static-cast <object> eof) (static-cast <object> eof))
       #t)

      (report-boolean-test (equal-objects? eof eof) #t)
      (report-boolean-test
       (equal-objects? (static-cast <object> eof) eof) #t)
      (report-boolean-test
       (equal-objects? eof (static-cast <object> eof)) #t)
      (report-boolean-test
       (equal-objects? (static-cast <object> eof) (static-cast <object> eof))
       #t)

      (report-boolean-test (equal-contents? eof eof) #t)
      (report-boolean-test
       (equal-contents? (static-cast <object> eof) eof) #t)
      (report-boolean-test
       (equal-contents? eof (static-cast <object> eof)) #t)
      (report-boolean-test
       (equal-contents? (static-cast <object> eof) (static-cast <object> eof))
       #t))))
