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


(define-proper-program (tests test21)


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


  (define-param-proc my-proc (%type1)
    (((lst (:uniform-list %type1))) %type1 pure)
    (if (equal? lst null)
	(console-display-string "HEP")))

  (define main
    (lambda (() <integer> nonpure)
      (my-proc null)
      0)))
