;; -*-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: compilation OK


(define-body (tests test316)


  (define-class <window> <widget> #t #f #f public ()
    ((str-caption <string> public public)))


  (define-simple-proc make-window (((id <string>) (str-caption <string>))
				   <widget> nonpure)
    (make <window> id str-caption)))
