;; -*-theme-d-*-

;; Copyright (C) 2015 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 test265)

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


  (define-class <my-object> <object> #t #f #f public ()
    ((id <string> public public)))


  (define-param-proc my-proc (%type) (((obj %type)) %type (pure))
    (make %type "abc"))


  (define main
    (lambda (() <none> nonpure)
      (let* ((obj1 <my-object> (make <my-object> "abc"))
	     (obj2 (my-proc obj1)))
	(console-display-string (field-ref obj2 'id))
	(console-newline)))))
