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

  (define make-a
    (prim-proc make-a (<integer>) <a> pure))

  (define get-x
    (prim-proc get-x (<a>) <integer> pure))

  (define set-x!
    (prim-proc set-x! (<a> <integer>) <none> nonpure))

  (define make-b
    (prim-proc make-b (<integer> <real>) <b> pure))

  (define get-y
    (prim-proc get-y (<b>) <real> pure))

  (define set-y!
    (prim-proc set-y! (<b> <real>) <none> nonpure))

  (add-method my-rep
	      (prim-proc my-rep (<a> <string>) <string> pure))

  (add-method my-rep
	      (prim-proc my-rep (<b> <string>) <string> pure)))
