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