mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-16 00:37:10 +08:00
23 lines
804 B
JSON
23 lines
804 B
JSON
{
|
|
"$schema": "https://raw.githubusercontent.com/microsoft/pyright/main/packages/vscode-pyright/schemas/pyrightconfig.schema.json",
|
|
"typeshedPath": ".",
|
|
"include": [
|
|
"scripts",
|
|
"tests",
|
|
],
|
|
"typeCheckingMode": "strict",
|
|
// More of a lint. Unwanted for typeshed's own code.
|
|
"reportImplicitStringConcatenation": "none",
|
|
// Extra strict settings
|
|
"reportMissingModuleSource": "error",
|
|
"reportShadowedImports": "error",
|
|
"reportCallInDefaultInitializer": "error",
|
|
"reportPropertyTypeMismatch": "error",
|
|
"reportUninitializedInstanceVariable": "error",
|
|
"reportUnnecessaryTypeIgnoreComment": "error",
|
|
// Leave "type: ignore" comments to mypy
|
|
"enableTypeIgnoreComments": false,
|
|
// Too strict
|
|
"reportMissingSuperCall": "none",
|
|
}
|