typecheck.macro
typecheck.macro copied to clipboard
Support mapped types
Mapped types are listed as WIP
. What is the status of these types?
- [ ] Record
- [ ] Required
- [ ] Pick
- [ ] Omit
I should change these to unsupported (unless someone makes a PR). These can def. be supported by special-casing them in the macro, but someone will need to support a PR for these.