;; -*-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: translation and running OK


(define-proper-program (tests test74)


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


  (declare :my-tree <param-class>)


  (define-param-class :my-tree (%type) <object> #t #f #f public ()
    ((node-value %type public public)
     (subtrees (:uniform-list (:my-tree %type)) public public)))


  (declare my-proc (:param-proc (%type)
				((:my-tree %type))
				%type
				pure))


  (define-simple-proc make-my-tree
    (((node-value <integer>) (subtrees (:uniform-list (:my-tree <integer>))))
     (:my-tree <integer>)
     pure)
    (make (:my-tree <integer>)
      node-value
      subtrees))


  (define-param-proc my-proc (%type)
    (((tree (:my-tree %type))) %type pure)
    (field-ref tree 'node-value))


  (define main
    (lambda (() <integer> nonpure)
      (let ((my-tree
	     (make-my-tree
	       1
	       (list
		(make-my-tree
		  2
		  null)
		(make-my-tree
		  3
		  (list
		   (make-my-tree
		     4
		     null)
		   (make-my-tree
		     5
		     null)))))))
	(console-display (my-proc my-tree))
	(console-newline))
      0)))
