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


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


  (declare-method my-map
		  (:param-proc
		   (%arg %result)
		   ((:procedure (%arg) %result pure)
		    (:uniform-list %arg))
		   (:uniform-list %result)
		   pure))

  (add-method my-map
	      (param-lambda
	       (%arg %result)
	       (((proc (:procedure (%arg) %result pure))
		 (lst (:uniform-list %arg)))
		(:uniform-list %result)
		pure)
	       (if (null? lst)
		   null
		   (let* ((lst2 (cast (:nonempty-uniform-list %arg) 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)))))
