;; -*-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: error, unhandled exception


(define-proper-program (tests test122)


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


  (define-param-proc my-map (%arglist %result)
    (((proc (:procedure ((splice %arglist)) %result pure))
      (lists (splice (type-loop %type %arglist (:uniform-list %type)))))
     (:uniform-list %result)
     pure)
    (raise-simple 'not-implemented))


  (define main
    (lambda (() <none> nonpure)
      (let* ((lst1 (list 1 2 3 4 5))
	     (lst2 (list "a" "b" "c" "d" "e"))
	     (result (my-map cons lst1 lst2)))
	(console-display result)
	(console-newline)))))
