chore: add a utility to generate a schema file#16601
Conversation
c541a10 to
38a63b8
Compare
38a63b8 to
40153dd
Compare
|
I'll rebase and update in a day or two. :) |
|
Well, presumably you know what you're doing and have some git workflow you prefer, so go ahead and do it however you like. But you could also just hit that "accept suggestion" button and see what happens 🚀 (Disclaimer: I'm not a maintainer on this project and all of my suggestions should be interpreted as a guy speculating aimlessly.) |
|
I notice you wrote this in 3.10, so as to use match case syntax. That seems fine to me. A good choice, even. However, the type checker is complaining. You could easily silence that with a |
|
I can do that, but pretty sure I'll need to rerun it too. ;) |
Signed-off-by: Henry Schreiner <henryschreineriii@gmail.com>
Co-authored-by: wyattscarpenter <wyattscarpenter@gmail.com>
17cfe52 to
420b6c8
Compare
Signed-off-by: Henry Schreiner <henryschreineriii@gmail.com>
This is a utility script to generate a JSONSchema file, as PR'd to SchemaStore in SchemaStore/schemastore#3422. Discussion at #16491. Currently, I'm not doing anything locally with the schema file. Ideally, I think it could be saved in
mypy/resources/mypy.schema.json. A simple function to retrieve it plus an entry point would allow validate-pyproject to validate the schema file (as done by cibuildwheel & scikit-build-core). I could add a job to verify the rendering stays in sync in CI.But starting with just the script I used to generate the SchemaStore submission, will take suggestions on what direction to go.