;; -*-theme-d-*-

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


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


  (define-simple-proc disp (((obj <object>)) <none> nonpure)
    (console-display obj)
    (console-newline))

  (define-simple-proc disp2 (((obj1 <object>) (obj2 <object>)) <none> nonpure)
    (console-display obj1)
    (console-display " ")
    (console-display obj2)
    (console-newline))

  (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"))
	     (lst4 (map cons lst1 lst3))
	     (lst5 (map-nonpure cons lst3 lst1))
	     (eq1? (and-map? equal? lst1 lst3))
	     (eq2? (or-map? equal? lst1 lst3))
	     (eq3? (and-map? equal? lst1 lst1))
	     (eq4? (or-map? equal? lst1 lst1))
	     (eq5? (and-map? equal? lst1 lst2))
	     (eq6? (or-map? equal? lst1 lst2)))
	(disp lst3)
	(disp lst4)
	(disp eq1?)
	(disp eq2?)
	(disp eq3?)
	(disp eq4?)
	(disp eq5?)
	(disp eq6?)
	(for-each disp2 lst1 lst2)
      0))))
