;; -*-theme-d-*-

;; Copyright (C) 2008-2013 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:
;;   #t #f #t #f #t #f #t #f #t


(define-proper-program (tests test27)


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

  (define-simple-proc main (() <none> nonpure)
    (let* ((pr1 (cons 1 2.3))
	   (pr2 (cons "abc" 'def))
	   (pr3 (cons 1 2.3))
	   (ch1? (equal-contents? pr1 pr1))
	   (ch2? (equal-contents? pr1 pr2))
	   (ch3? (equal-contents? pr1 pr3))
	   (ch4? (equal-contents? pr2 pr1))
	   (ch5? (equal-contents? pr2 pr2))
	   (ch6? (equal-contents? pr2 pr3))
	   (ch7? (equal-contents? pr3 pr1))
	   (ch8? (equal-contents? pr3 pr2))
	   (ch9? (equal-contents? pr3 pr3)))
      (console-display ch1?)
      (console-newline)
      (console-display ch2?)
      (console-newline)
      (console-display ch3?)
      (console-newline)
      (console-display ch4?)
      (console-newline)
      (console-display ch5?)
      (console-newline)
      (console-display ch6?)
      (console-newline)
      (console-display ch7?)
      (console-newline)
      (console-display ch8?)
      (console-newline)
      (console-display ch9?)
      (console-newline))))
