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

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

  (define-simple-proc my-proc (((proc (:procedure (<real> <real>) <real> pure))
			      (r1 <real>)
			      (r2 <real>))
			     <real>
			     pure)
    (proc r1 r2))

  (define-simple-proc main (() <none> nonpure)
    (let* ((a1 1.5)
	   (a2 2.3)
	   (result (my-proc + a1 a2)))
      (console-display result)
      (console-newline))))
