@zzzen/pyright-internal 1.2.0-dev.20230709 → 1.2.0-dev.20230716

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (108) hide show
  1. package/dist/analyzer/backgroundAnalysisProgram.d.ts +2 -2
  2. package/dist/analyzer/backgroundAnalysisProgram.js +3 -3
  3. package/dist/analyzer/backgroundAnalysisProgram.js.map +1 -1
  4. package/dist/analyzer/binder.d.ts +1 -0
  5. package/dist/analyzer/binder.js +19 -2
  6. package/dist/analyzer/binder.js.map +1 -1
  7. package/dist/analyzer/checker.js +1 -3
  8. package/dist/analyzer/checker.js.map +1 -1
  9. package/dist/analyzer/constraintSolver.js +17 -34
  10. package/dist/analyzer/constraintSolver.js.map +1 -1
  11. package/dist/analyzer/enums.js +21 -8
  12. package/dist/analyzer/enums.js.map +1 -1
  13. package/dist/analyzer/namedTuples.js +32 -1
  14. package/dist/analyzer/namedTuples.js.map +1 -1
  15. package/dist/analyzer/patternMatching.d.ts +1 -1
  16. package/dist/analyzer/patternMatching.js +79 -66
  17. package/dist/analyzer/patternMatching.js.map +1 -1
  18. package/dist/analyzer/program.d.ts +5 -2
  19. package/dist/analyzer/program.js +18 -7
  20. package/dist/analyzer/program.js.map +1 -1
  21. package/dist/analyzer/protocols.js +57 -19
  22. package/dist/analyzer/protocols.js.map +1 -1
  23. package/dist/analyzer/service.js +1 -10
  24. package/dist/analyzer/service.js.map +1 -1
  25. package/dist/analyzer/sourceFile.d.ts +4 -3
  26. package/dist/analyzer/sourceFile.js +26 -22
  27. package/dist/analyzer/sourceFile.js.map +1 -1
  28. package/dist/analyzer/typeEvaluator.js +180 -106
  29. package/dist/analyzer/typeEvaluator.js.map +1 -1
  30. package/dist/analyzer/typeEvaluatorTypes.d.ts +5 -0
  31. package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
  32. package/dist/analyzer/typeGuards.d.ts +2 -2
  33. package/dist/analyzer/typeGuards.js +30 -5
  34. package/dist/analyzer/typeGuards.js.map +1 -1
  35. package/dist/analyzer/typePrinter.d.ts +2 -1
  36. package/dist/analyzer/typePrinter.js +26 -5
  37. package/dist/analyzer/typePrinter.js.map +1 -1
  38. package/dist/analyzer/typeUtils.js +1 -1
  39. package/dist/analyzer/typedDicts.js +1 -3
  40. package/dist/analyzer/typedDicts.js.map +1 -1
  41. package/dist/analyzer/types.d.ts +8 -1
  42. package/dist/analyzer/types.js.map +1 -1
  43. package/dist/backgroundAnalysisBase.d.ts +5 -5
  44. package/dist/backgroundAnalysisBase.js +2 -2
  45. package/dist/backgroundAnalysisBase.js.map +1 -1
  46. package/dist/common/console.d.ts +4 -1
  47. package/dist/common/console.js +7 -0
  48. package/dist/common/console.js.map +1 -1
  49. package/dist/languageServerBase.d.ts +8 -3
  50. package/dist/languageServerBase.js +30 -25
  51. package/dist/languageServerBase.js.map +1 -1
  52. package/dist/languageService/codeActionProvider.d.ts +1 -0
  53. package/dist/languageService/codeActionProvider.js +11 -0
  54. package/dist/languageService/codeActionProvider.js.map +1 -1
  55. package/dist/languageService/completionProvider.d.ts +1 -1
  56. package/dist/languageService/completionProvider.js +3 -3
  57. package/dist/languageService/completionProvider.js.map +1 -1
  58. package/dist/localization/localize.d.ts +2 -0
  59. package/dist/localization/localize.js +12 -2
  60. package/dist/localization/localize.js.map +1 -1
  61. package/dist/localization/package.nls.cs.json +718 -0
  62. package/dist/localization/package.nls.de.json +718 -1
  63. package/dist/localization/package.nls.en-us.json +1 -0
  64. package/dist/localization/package.nls.es.json +718 -1
  65. package/dist/localization/package.nls.fr.json +718 -1
  66. package/dist/localization/package.nls.it.json +718 -0
  67. package/dist/localization/package.nls.ja.json +718 -1
  68. package/dist/localization/package.nls.ko.json +718 -0
  69. package/dist/localization/package.nls.pl.json +718 -0
  70. package/dist/localization/package.nls.pt-br.json +718 -0
  71. package/dist/localization/package.nls.qps-ploc.json +718 -0
  72. package/dist/localization/package.nls.ru.json +718 -1
  73. package/dist/localization/package.nls.tr.json +718 -0
  74. package/dist/localization/package.nls.zh-cn.json +718 -1
  75. package/dist/localization/package.nls.zh-tw.json +718 -1
  76. package/dist/parser/parser.d.ts +3 -0
  77. package/dist/parser/parser.js +2 -31
  78. package/dist/parser/parser.js.map +1 -1
  79. package/dist/parser/tokenizer.d.ts +5 -2
  80. package/dist/parser/tokenizer.js +16 -4
  81. package/dist/parser/tokenizer.js.map +1 -1
  82. package/dist/parser/tokenizerTypes.d.ts +2 -2
  83. package/dist/parser/tokenizerTypes.js.map +1 -1
  84. package/dist/pprof/profiler.d.ts +36 -0
  85. package/dist/pprof/profiler.js +64 -0
  86. package/dist/pprof/profiler.js.map +1 -0
  87. package/dist/tests/harness/fourslash/testState.d.ts +6 -4
  88. package/dist/tests/harness/fourslash/testState.js +50 -39
  89. package/dist/tests/harness/fourslash/testState.js.map +1 -1
  90. package/dist/tests/harness/vfs/factory.d.ts +1 -0
  91. package/dist/tests/harness/vfs/factory.js +7 -1
  92. package/dist/tests/harness/vfs/factory.js.map +1 -1
  93. package/dist/tests/harness/vfs/filesystem.d.ts +2 -2
  94. package/dist/tests/harness/vfs/filesystem.js +13 -8
  95. package/dist/tests/harness/vfs/filesystem.js.map +1 -1
  96. package/dist/tests/localizer.test.js +20 -0
  97. package/dist/tests/localizer.test.js.map +1 -1
  98. package/dist/tests/typeEvaluator1.test.js +4 -0
  99. package/dist/tests/typeEvaluator1.test.js.map +1 -1
  100. package/dist/tests/typeEvaluator2.test.js +8 -0
  101. package/dist/tests/typeEvaluator2.test.js.map +1 -1
  102. package/dist/tests/typeEvaluator4.test.js +9 -1
  103. package/dist/tests/typeEvaluator4.test.js.map +1 -1
  104. package/dist/tests/typeEvaluator5.test.js +4 -0
  105. package/dist/tests/typeEvaluator5.test.js.map +1 -1
  106. package/dist/workspaceFactory.js +5 -3
  107. package/dist/workspaceFactory.js.map +1 -1
  108. package/package.json +3 -2
@@ -44,6 +44,9 @@ declare const enum ParseTextMode {
44
44
  VariableAnnotation = 1,
45
45
  FunctionAnnotation = 2
46
46
  }
47
+ export interface IParser {
48
+ parseSourceFile(fileContents: string, parseOptions: ParseOptions, diagSink: DiagnosticSink): ParseResults;
49
+ }
47
50
  export declare class Parser {
48
51
  private _fileContents?;
49
52
  private _tokenizerOutput?;
@@ -2708,13 +2708,6 @@ class Parser {
2708
2708
  isArgListTerminated = true;
2709
2709
  }
2710
2710
  this._isParsingTypeAnnotation = wasParsingTypeAnnotation;
2711
- if (this._isParsingTypeAnnotation) {
2712
- const diag = new diagnostic_1.DiagnosticAddendum();
2713
- if (atomExpression.nodeType === 38 /* Name */ && atomExpression.value === 'type') {
2714
- diag.addMessage(localize_1.Localizer.DiagnosticAddendum.useTypeInstead());
2715
- this._addError(localize_1.Localizer.Diagnostic.typeCallNotAllowed() + diag.getString(), callNode);
2716
- }
2717
- }
2718
2711
  atomExpression = callNode;
2719
2712
  if (atomExpression.maxChildDepth !== undefined && atomExpression.maxChildDepth >= maxChildNodeDepth) {
2720
2713
  atomExpression = parseNodes_1.ErrorNode.create(atomExpression, 14 /* MaxDepthExceeded */);
@@ -3008,16 +3001,6 @@ class Parser {
3008
3001
  }
3009
3002
  if (nextToken.type === 13 /* OpenParenthesis */) {
3010
3003
  const possibleTupleNode = this._parseTupleAtom();
3011
- if (possibleTupleNode.nodeType === 52 /* Tuple */ &&
3012
- this._isParsingTypeAnnotation &&
3013
- !this._isParsingIndexTrailer) {
3014
- // This is allowed inside of an index trailer, specifically
3015
- // to support Tuple[()], which is the documented way to annotate
3016
- // a zero-length tuple.
3017
- const diag = new diagnostic_1.DiagnosticAddendum();
3018
- diag.addMessage(localize_1.Localizer.DiagnosticAddendum.useTupleInstead());
3019
- this._addError(localize_1.Localizer.Diagnostic.tupleInAnnotation() + diag.getString(), possibleTupleNode);
3020
- }
3021
3004
  if (possibleTupleNode.nodeType === 55 /* UnaryOperation */ ||
3022
3005
  possibleTupleNode.nodeType === 6 /* Await */ ||
3023
3006
  possibleTupleNode.nodeType === 7 /* BinaryOperation */) {
@@ -3036,22 +3019,10 @@ class Parser {
3036
3019
  return possibleTupleNode;
3037
3020
  }
3038
3021
  else if (nextToken.type === 15 /* OpenBracket */) {
3039
- const listNode = this._parseListAtom();
3040
- if (this._isParsingTypeAnnotation && !this._isParsingIndexTrailer) {
3041
- const diag = new diagnostic_1.DiagnosticAddendum();
3042
- diag.addMessage(localize_1.Localizer.DiagnosticAddendum.useListInstead());
3043
- this._addError(localize_1.Localizer.Diagnostic.listInAnnotation() + diag.getString(), listNode);
3044
- }
3045
- return listNode;
3022
+ return this._parseListAtom();
3046
3023
  }
3047
3024
  else if (nextToken.type === 17 /* OpenCurlyBrace */) {
3048
- const dictNode = this._parseDictionaryOrSetAtom();
3049
- if (this._isParsingTypeAnnotation && !this._isParsingIndexTrailer) {
3050
- const diag = new diagnostic_1.DiagnosticAddendum();
3051
- diag.addMessage(localize_1.Localizer.DiagnosticAddendum.useDictInstead());
3052
- this._addError(localize_1.Localizer.Diagnostic.dictInAnnotation() + diag.getString(), dictNode);
3053
- }
3054
- return dictNode;
3025
+ return this._parseDictionaryOrSetAtom();
3055
3026
  }
3056
3027
  if (nextToken.type === 8 /* Keyword */) {
3057
3028
  const keywordToken = nextToken;