Record-type predicate Takashi Kato (17 Jul 2016 19:19 UTC)
Re: Record-type predicate Marc Nieper-Wißkirchen (18 Jul 2016 14:35 UTC)
Re: Record-type predicate John Cowan (18 Jul 2016 15:23 UTC)
Re: Record-type predicate Takashi Kato (18 Jul 2016 19:47 UTC)
Re: Record-type predicate Marc Nieper-Wißkirchen (22 Jul 2016 11:23 UTC)

Record-type predicate Takashi Kato 17 Jul 2016 19:19 UTC

Hi,

I have couple of questions about record-type predicate.

- I assume it's an error if make-record gets non record-type predicate.
  Then how can we check if the given argument is record-type predicate or
  not?
- Related to above, must record-type predicate be a procedure? Or can be an
  applicable something? (c.f. must procedure? return #t if it gets
  record-type predicate?)
- Is it possible for users to create no predicate record type using only
  procedural layer? And if this is possible, how can I retrieve fields from
  the record instance?

Cheers,

--
_/_/
Takashi Kato
E-mail: ktakashi19@gmail.com