;; -*-theme-d-*-

;; Copyright (C) 2008-2013 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 test70)

  (import (standard-library core))

  (declare my-apply
	   (:param-proc (%arglist %result)
			((:procedure ((splice %arglist)) %result pure)
			 %arglist)
			%result
			pure))

  (define-param-proc my-apply (%arglist %result)
    (((proc (:procedure ((splice %arglist)) %result pure))
      (arglist %arglist))
     %result
     pure)
    (raise-simple 'stop2))

  (define-simple-proc main (() <none> nonpure)
    (raise-simple 'stop)))
