Hi Antero, hi Daphne,

I agree that checked record types are a worthy addition. I already
opened a pull request with sample implementation:

https://github.com/scheme-requests-for-implementation/srfi-253/pull/26

Unfortunately, my syntax-rules macro magic is not that strong and I need
help with generating gensym-ed names for fields. I tried to improve the
code for some time, but something slips out regardless. CC Daphne (or
anyone really), can you have a quick look? The mistake must be really
silly and simple.

> system. (Have I mentioned recently I hate record types? All the
> features are interconnected with one another in these annoying ways
> that makes it hard for new features to compose with one another.))

As a Common Lisp programmer, I agree 😂

Best of luck,
--
Artyom Bologov
https://aartaka.me