;; -*-theme-d-*-

;; Copyright (C) 2014-2018 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 test621)


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

  (define disp console-display-line)

  (define-simple-proc my-equal? (((x1 <object>) (x2 <object>)) <boolean>
				 nonpure)
    (disp "HEP")
    (equal? x1 x2))

  (define main
    (lambda (() <integer> nonpure)
      (let* ((lst1 (list 1 2 3 4 5))
	     (lst2 (list 1 2 3 4 10))
	     (lst3 (list "a" "b" "c"))
	     (eq1? (and-map-nonpure? my-equal? lst1 lst1))
	     (eq2? (or-map-nonpure? my-equal? lst1 lst1))
	     (eq3? (and-map-nonpure? my-equal? lst1 lst2))
	     (eq4? (or-map-nonpure? my-equal? lst1 lst2)))
	(disp eq1?)
	(disp eq2?)
	(disp eq3?)
	(disp eq4?)
      0))))
