;; -*-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 test622)


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


  (define disp console-display-line)


  (define-simple-proc myproc1 (((i <integer>)) <boolean> nonpure)
    (disp "HEP1")
    (>= i 0))


  (define-simple-proc myproc2 (((i <integer>)) <boolean> nonpure)
    (disp "HEP2")
    (<= i 0))


  (define main
    (lambda (() <integer> nonpure)
      (let* ((lst1 (list 1 2 3 4 5))
	     (lst2 (list -1 2 3 4 5))
	     (p1? (and-map-nonpure1? myproc1 lst1))
	     (p2? (and-map-nonpure1? myproc1 lst2))
	     (p3? (or-map-nonpure1? myproc2 lst1))
	     (p4? (or-map-nonpure1? myproc2 lst2)))
	(disp lst1)
	(disp lst2)
	(disp p1?)
	(disp p2?)
	(disp p3?)
	(disp p4?)
      0))))
