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


  (import (standard-library core)
	  (standard-library string-utilities)
	  (standard-library console-io)
	  (standard-library object-string-conversion))


  (declare-method my-map
		  (:simple-proc ((:procedure (<integer>) <string> pure)
		   (:uniform-list <integer>))
		  (:uniform-list <string>)
		  pure))

  (add-method my-map
	      (lambda (((proc (:procedure (<integer>) <string> pure))
			(lst (:uniform-list <integer>)))
		       (:uniform-list <string>)
		       pure)
		(if (null? lst)
		    null
		    (let* ((lst2 (cast (:nonempty-uniform-list <integer>) lst))
			   (hd (car lst2))
			   (tl (cdr lst2)))
		      (cons (proc hd) (my-map proc tl))))))


  (define main
    (lambda (() <none> nonpure)
      (let* ((lst (list 1 2 3 4 5))
	     (proc (lambda (((n <integer>)) <string> pure)
		     (string-append "*" (integer->string n) "*")))
	     (result (my-map proc lst)))
	(console-display result)
	(console-newline)))))
