vedantroy/typecheck.macro

Support mapped types

schontz opened this issue · 1 comments

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.