Re: Instance payload John Cowan (04 Oct 2016 20:51 UTC)
Re: Instance payload Shiro Kawai (04 Oct 2016 23:55 UTC)
Re: Instance payload Marc Nieper-Wißkirchen (24 Oct 2016 12:34 UTC)
Re: Instance payload John Cowan (26 Oct 2016 18:55 UTC)
Re: Instance payload Marc Nieper-Wißkirchen (29 Oct 2016 07:33 UTC)
Re: Instance payload John Cowan (07 Nov 2016 19:34 UTC)
Re: Instance payload Arthur A. Gleckler (07 Nov 2016 21:14 UTC)

Re: Instance payload Arthur A. Gleckler 07 Nov 2016 21:14 UTC

John Cowan <xxxxxx@ccil.org> writes:

| On further reflection and discussion (and some prodding
| from Art), I agree that accessors of a parent type must be
| able to return the payload of a child type, just because
| an object of a child type *is* an object of a parent
| type. I will leave open, ex silentio, the question of
| whether the reverse is true.
|
| Art, please change lines 131-133 from:

I've made the requested change and published the new
version:

  <http://srfi.schemers.org/srfi-137/>

Thanks to everyone for the discussion.

SRFI Editor