Record-type predicate Takashi Kato 17 Jul 2016 19:19 UTC
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
- 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
- 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?