Commit Graph

  • 9aca7dc342 Published 1.0.23 1.0.23 Eric Traut 2019-05-04 00:50:23 -0700
  • 5394e321b1 Added type constraint logic for tests of the form "type(X) is Y" or "type(X) is not Y". Eric Traut 2019-05-04 00:29:44 -0700
  • 4cbe74510c Added type inference for varg and kwarg parameters. Eric Traut 2019-05-04 00:10:15 -0700
  • a06dc9b47d Added support for Literal special type. Eric Traut 2019-05-03 22:12:26 -0700
  • 4e8b51b844 Added generics checks for ClassVar. Eric Traut 2019-05-03 19:34:59 -0700
  • 04d33fdb5a Fixed bug in datetime.pyi fallback stub file. Eric Traut 2019-05-03 19:34:39 -0700
  • 86deaa84ef Added fallback for typing_extensions.pyi Eric Traut 2019-05-03 19:34:23 -0700
  • e8013ba21d Improved responsiveness. Eric Traut 2019-05-03 01:29:51 -0700
  • d2a8a36e5e Improved handling of assignments to tuples. Eric Traut 2019-05-02 23:00:10 -0700
  • adab0bd9d0 Added code to assign tuple targets based on iteration type of RHS of assignment. Eric Traut 2019-05-01 21:57:32 -0700
  • c3e156892a Published 1.0.22 1.0.22 Eric Traut 2019-05-01 21:00:12 -0700
  • 44108dc8e7 Fixed regression where modules imported with "import X" statement were reported as unbound if there was no type stub found. Eric Traut 2019-05-01 20:58:13 -0700
  • 4988097618 Fixed regression where a del X would cause an internal error (an assertion fired) if symbol X didn't appear elsewhere in the file. Eric Traut 2019-05-01 20:57:29 -0700
  • 9f7c561cc2 Published 1.0.21 1.0.21 Eric Traut 2019-05-01 18:45:25 -0700
  • 76697a8252 Added support for "reportUntypedNamedTuple" switch. Eric Traut 2019-05-01 18:43:45 -0700
  • 718d00fa92 Fixed bugs in tests that were exposed by recent bug fixes in type analyzer. Eric Traut 2019-05-01 18:35:58 -0700
  • 33f05d06f3 Improved expression type constraints for list comprehension if statements. Eric Traut 2019-05-01 13:00:36 -0700
  • cadfbc87ca Added back __init__ method for NamedTuple class. Fixed bug in creation of NamedTuple and namedtuple where they didn't use the proper NamedTuple base class, which disabled a bunch of type checking. Added expression type constraint support for list comprehension "if" statements. Eric Traut 2019-05-01 11:46:24 -0700
  • 6885d6b835 Fixed bug that prevented proper assignment checking for all specialized built-in types (List, etc.) other than Tuple. Eric Traut 2019-05-01 10:08:07 -0700
  • 4de27e31fd Added logic to index evaluator to special-case indexing into a Tuple with an integer. Eric Traut 2019-05-01 10:07:18 -0700
  • 22982717d7 Fixed bug in textRangeCollection that caused completion provider to pop up completion suggestions within a comment. Eric Traut 2019-05-01 09:56:37 -0700
  • 027fb24282 Fixed several bugs dealing with object/class. binding. Eric Traut 2019-05-01 02:16:30 -0700
  • 716bf9cac2 Added support for "for" statements that rely on iterating over objects that provide __getitem__, as per PEP 234. Eric Traut 2019-04-30 22:33:28 -0700
  • ff56d44278 Added type inference support for list comprehension expressions. Improved inference logic for dict and list literals. Fixed bug #101: infer Generator return type for generator functions. Eric Traut 2019-04-30 21:54:00 -0700
  • 8cb6f86ca8 Fixed bug #97: Pyright was failing to search beyond the first import path in the search path when using fall-back paths from the python interpreter. Eric Traut 2019-04-30 12:41:58 -0700
  • 51f4c209e1 Published 1.0.20 1.0.20 Eric Traut 2019-04-30 10:45:25 -0700
  • 62184fdb1f Added code to clear the "always returns" and "always raises" flags in a permanent scope before each analysis pass. Eric Traut 2019-04-30 08:35:47 -0700
  • e32c2ee510 Updated logic for reporting unknown types for local variables and class members. The reporting is now done at the site of the assignment where the unknown is introduced. Eric Traut 2019-04-30 00:40:52 -0700
  • 92ffc9ff8d Renamed addUnboundSymbol to addSymbol. Cleaned up imports. Eric Traut 2019-04-29 23:29:19 -0700
  • e1e90fd04f Allow imported symbols to be reassigned. Eric Traut 2019-04-29 23:10:08 -0700
  • 01aac25041 More simplification and fixed regression in unbound variable reporting. Eric Traut 2019-04-29 22:40:11 -0700
  • 6770dc9d35 Removed a bunch more logic and complexity out of semantic analyzer. Eric Traut 2019-04-29 22:10:11 -0700
  • 3b7739a87b Removed a bunch of logic and complexity from semantic analyzer. Eric Traut 2019-04-29 22:00:30 -0700
  • bc4ed98d05 Small cleanup. Eric Traut 2019-04-29 21:41:27 -0700
  • 24cb86a02b Fixed several regressions from previous check-in. Eric Traut 2019-04-29 21:32:46 -0700
  • fd3d317701 Major reworking of symbols and scopes. Eliminated the need to merge symbol tables. Eliminated the notion of a "currentType" for a symbol. Eric Traut 2019-04-29 19:21:07 -0700
  • 6b4afc744a Fixed several bugs found during manual testing. Eric Traut 2019-04-28 23:57:43 -0700
  • 71ffa702ed Renamed reportUnknownParameter to reportUnknownParameterType. Added reportUnknownVariableType and reportUnknownMemberType. Eric Traut 2019-04-28 22:20:29 -0700
  • f8e9dacccb Changed reportUnknownParameter to also flag inferred Any return types, not just Unknown. Eric Traut 2019-04-28 21:17:28 -0700
  • 1c877e4248 Removed the requirement that type annotations not use bytes, unicode, or raw strings. Eric Traut 2019-04-28 20:56:58 -0700
  • 955074c634 Added documentation for new strict mode. Eric Traut 2019-04-28 12:59:19 -0700
  • aecd8f7114 Added support for file-level "strict mode" that can be enabled by adding a comment "# pyright: strict" somewhere in the file. Eric Traut 2019-04-28 12:51:12 -0700
  • 298f0b9620 Updated tokenizer to include comments that precede each token. Eric Traut 2019-04-28 12:19:37 -0700
  • fb4f0648e8 Reduced verbosity of command-line output by default. Eric Traut 2019-04-28 12:19:11 -0700
  • 5216aac277 Fixed regression in command-line parsing of files. Eric Traut 2019-04-28 12:18:54 -0700
  • daf6b6f106 #91: Added code to convert file specs passed in at the command-line from relative to absolute. Eric Traut 2019-04-28 08:58:26 -0700
  • 93595c1720 Added new config switch "reportUnknownParameter" to control reporting of unknown input and return parameter types. Eric Traut 2019-04-28 01:51:22 -0700
  • a442c60c95 Added support for early-termination expression type constraints for "or" operator. Eric Traut 2019-04-27 23:39:36 -0700
  • 68696e189e Added code path to look for both 'lib' and 'Lib' within venv to support Windows. Eric Traut 2019-04-27 22:26:40 -0700
  • 7a9153ef1d More improvements to logging for import paths. Eric Traut 2019-04-27 21:55:30 -0700
  • 2872dc508d Missed package-lock file. Eric Traut 2019-04-27 19:20:05 -0700
  • 29fae553f9 Published 1.0.19 1.0.19 Eric Traut 2019-04-27 19:14:22 -0700
  • 375e35e56d Added a bunch of verbose diagnostic information to help resolve import resolution issues. Eric Traut 2019-04-27 19:04:37 -0700
  • 9077e7d392 Fixed bug in unreachable code detection logic relating to try/except/else blocks. Eric Traut 2019-04-27 18:08:03 -0700
  • d153d44c83 Added code to infer dictionary key types -- and sometimes the value types as well. Eric Traut 2019-04-27 18:07:42 -0700
  • cdda49cd74 Added better error logging to help diagnose import resolution issues when using paths from the python interpreter. Eric Traut 2019-04-27 17:20:45 -0700
  • 9b15ef14f3 Fixed false positive error related to arg/param matching when unpacked arg is used. Eric Traut 2019-04-27 17:00:00 -0700
  • ff9f461cec Improved error reporting for assignment type validation. Eric Traut 2019-04-27 16:37:07 -0700
  • 0f38625e0a Added support for validating type of property setter. Eric Traut 2019-04-27 16:23:27 -0700
  • 1432bf5a2f Revamped type constraint system. The new implementation is less kludgy, simpler, and handles more cases. Eric Traut 2019-04-27 15:38:29 -0700
  • 29aa5e56e1 Another simplification. Eric Traut 2019-04-27 14:11:45 -0700
  • adbcb742de Rewrote Scope.combineConditionalScopes to be a static method that doesn't modify the original scope. Eric Traut 2019-04-27 14:00:00 -0700
  • f9cbfe03ac Fixed a few more issues. Eric Traut 2019-04-27 13:31:27 -0700
  • 92f56e9a91 Fixed minor error in previous check-in. Eric Traut 2019-04-27 12:41:18 -0700
  • e392de17c5 Added logic to mark unreachable code after return and raise statements. Fixed several bugs in the previous tracking logic. Eric Traut 2019-04-27 12:26:26 -0700
  • cb662155a6 Fixed test case. Eric Traut 2019-04-27 11:30:36 -0700
  • 7814b022ad Simplified scope merging code. Eric Traut 2019-04-27 11:25:13 -0700
  • 9f8ef27105 Another small simplification. Eric Traut 2019-04-27 11:07:52 -0700
  • a60934dc57 Further simplified TypeConstraint. Eric Traut 2019-04-27 09:41:13 -0700
  • 9e8b2ff93b Removed specialized TypeConstraint types. Eric Traut 2019-04-27 09:29:23 -0700
  • 9992cd1293 Fixed regression in previous change. Eric Traut 2019-04-27 08:27:07 -0700
  • 020c0e7181 Moved expression into TypeConstraint base class. Eric Traut 2019-04-27 08:20:31 -0700
  • 806d005b8c Published 1.0.18 1.0.18 Eric Traut 2019-04-26 23:39:39 -0700
  • 2ec681e141 #90: Fixed false error for common arithmetic binary operators that act upon int/float/complex when operand is unioned with an unknown or any type. Eric Traut 2019-04-26 08:18:57 -0700
  • c579ed6807 Added getPermanentScope function in ScopeUtils. Eric Traut 2019-04-25 20:28:36 -0700
  • 7f32ea1486 Removed obsolete HasDecorators flag in ClassTypeFlags. Eric Traut 2019-04-25 20:26:13 -0700
  • 3fa463b3ea Added type constraint support for assert statements. Eric Traut 2019-04-25 18:59:36 -0700
  • 2dc3995336 Fixed bug in parsing of assert statements. Eric Traut 2019-04-25 18:59:17 -0700
  • de5ffe6bb3 Fixed recursion depth count for import chains. Eric Traut 2019-04-25 17:12:52 -0700
  • a7357e9331 #89: Text completion options shouldn't appear for comments or strings. Eric Traut 2019-04-25 10:09:44 -0700
  • 9d2734b8f9 #88: Fixed regression in handling of CR/LF combinations within strings. Added test case to prevent such a regression in the future. Eric Traut 2019-04-25 08:14:11 -0700
  • 4df9dec452 Fixed minor bug in check for max import chain length. The error condition is now cleared when a file is re-parsed. Eric Traut 2019-04-25 08:13:24 -0700
  • b7ef00779f
    Merge pull request #87 from grigoryvp/patch-2 Eric Traut 2019-04-25 07:50:21 -0700
  • e86cc2624d
    Allow --watch usage with filespec Grigory Petrov 2019-04-25 17:40:45 +0300
  • 782a2b77c7 Published 1.0.17 1.0.17 Eric Traut 2019-04-24 22:31:39 -0700
  • 8777cc3a2a Added protection against extremely long import chains. Error is now emitted when we hit 256. Eric Traut 2019-04-24 22:27:39 -0700
  • db724038c2 #83: Changed logic for variable assignment expressions with type hints. We now adopt the type hint as the type in these cases rather than the assigned type. Eric Traut 2019-04-24 20:41:54 -0700
  • e166d45c86 Updated builtins.pyi fallback type file to indicate that comparison operators for int and float allow the converse types (float and int) as parameters. Eric Traut 2019-04-24 20:39:03 -0700
  • eff6be7000
    Output error description on analysis errors Grigory Petrov 2019-04-24 15:26:36 +0300
  • 2b28eb5c23 Move assignment of for loop target variables within the loop scope. Eric Traut 2019-04-23 13:17:49 -0700
  • c06e0b4e87 Avoid flagging invalid escape sequences for raw strings. Eric Traut 2019-04-22 15:09:02 -0700
  • 90bfa7484a Added completion support for modules. Eric Traut 2019-04-22 01:43:00 -0700
  • 49559ecfba Started to rough in a completion handler. Eric Traut 2019-04-22 01:11:11 -0700
  • f8ad597010 #81: Improved formatting of errors and warnings for command-line tool. Eric Traut 2019-04-21 18:05:18 -0700
  • f3d2ca2428 Removed the logo from the VS Code README. Eric Traut 2019-04-21 12:25:10 -0700
  • f3cc9b70dc Published 1.0.16. 1.0.16 Eric Traut 2019-04-21 12:12:38 -0700
  • b9edc5ccdd Implemented minimal support for /N escape in string literals. Eric Traut 2019-04-21 12:06:07 -0700
  • e354ef2865 Implemented hex escapes in string tokenizer. Eric Traut 2019-04-21 11:43:24 -0700
  • b3b7e76705 Added detection and reporting of invalid escape sequences in text literals. Added "reportInvalidStringEscapeSequences" to control reporting. Eric Traut 2019-04-21 11:10:41 -0700
  • 7e58f045f8 More work on the string tokenizer. Eric Traut 2019-04-21 10:33:51 -0700