Eric Traut
d6d6ed8df4
Merge pull request #112 from ixje/patch-1
...
fix typo readme
2019-05-06 08:42:12 -07:00
Erik van den Brink
a8e95acc74
fix typo
2019-05-06 10:58:47 +02:00
Eric Traut
a769987c09
Added validation of bound and constrained type.
2019-05-06 00:23:25 -07:00
Eric Traut
4661a783c2
Fixed bug in type analyzer - it was not handling type constraints correctly in the case where we were assigning to a property.
2019-05-05 18:24:30 -07:00
Eric Traut
ccc3410a2a
Expanded support for isinstance type constraint to handle a tuple of classes for the second parameter.
2019-05-05 16:42:22 -07:00
Eric Traut
88592f0284
Published 1.0.24
2019-05-05 12:42:03 -07:00
Eric Traut
d7b4beac37
Fixed broken test case.
2019-05-05 12:39:19 -07:00
Eric Traut
183584dc66
Removed period from error message for consistency.
2019-05-05 12:29:33 -07:00
Eric Traut
97bbf23941
Fixed bug in error message emitted by _canAssignFunction.
2019-05-05 12:26:56 -07:00
Eric Traut
7ee842ea87
Fixed bug in builtins typeshed stub file. The "__add__" method for tuple required that the parameter be of the same specialized tuple type.
2019-05-05 12:09:00 -07:00
Eric Traut
c077c5782d
Improved assignment logic in expression evaluator.
2019-05-05 11:58:11 -07:00
Eric Traut
dd81411acb
Changed type checking logic for assignments. If the LHS has a declared type, the type of the RHS is now constrained to conform to the declared type or constrained version of the declared type.
2019-05-05 11:36:00 -07:00
Eric Traut
7151db4fd7
Fixed bug in constrainDeclaredTypeBasedOnAssignedType. It wasn't dealing properly with an assignedType that was a UnionType.
2019-05-05 11:34:54 -07:00
Eric Traut
d36698e130
Small optimization in unbound detection logic.
2019-05-05 10:59:54 -07:00
Eric Traut
19c07dab48
Fixed bugs in list comprehension type evaluation logic.
2019-05-05 10:34:59 -07:00
Eric Traut
f40c1e7bff
Fixed bug in type checking engine relating to inference of generic classes that are specialized on the basis of their init routine parameters.
2019-05-05 09:46:35 -07:00
Eric Traut
0d2a86cab9
Added unit test for varg and kwarg matching.
2019-05-05 09:45:51 -07:00
Eric Traut
401c4977a5
Updated stripLiteralValue to support stripping from unions of literals and combining them into a single non-literal class where appropriate.
2019-05-05 09:45:33 -07:00
Eric Traut
9daeabde2e
Added logic to strip literals from a union type before assigning to a type variable.
2019-05-05 09:44:45 -07:00
Eric Traut
aaefbad669
Added support for type checking varg and kwarg parameters for call invocations.
2019-05-05 09:44:14 -07:00
Eric Traut
9cb9a48b5f
Fixed bug in printing of literal values.
2019-05-04 21:27:15 -07:00
Eric Traut
49bb6d8002
Fixed bug in merging of conditional type constraints.
2019-05-04 20:35:41 -07:00
Eric Traut
b6361fdd42
Fixed bugs in for/else code flow handling.
2019-05-04 20:35:25 -07:00
Eric Traut
e4847087c0
Restored unbound checks.
2019-05-04 19:55:34 -07:00
Eric Traut
d3e49e3819
Removed unused isOutsideCallerModule field.
2019-05-04 18:33:03 -07:00
Eric Traut
770800b316
Removed uninformative console log message.
2019-05-04 16:34:01 -07:00
Eric Traut
e8286aa894
Simplified semanticAnalyzer.
...
Cleaned up interface to Symbol class and added the notion of "initiallyBound".
Simplified InferredType.
Did some cleanup in typeAnalyzer.
2019-05-04 16:33:38 -07:00
Eric Traut
f121957579
Simplified code in type checker. Changes also help detect unbound.
2019-05-04 12:51:42 -07:00
Eric Traut
575f63ac28
Fixed another bug in datetime.pyi.
2019-05-04 09:14:44 -07:00
Eric Traut
9aca7dc342
Published 1.0.23
2019-05-04 00:50:23 -07:00
Eric Traut
5394e321b1
Added type constraint logic for tests of the form "type(X) is Y" or "type(X) is not Y".
2019-05-04 00:29:44 -07:00
Eric Traut
4cbe74510c
Added type inference for varg and kwarg parameters.
2019-05-04 00:10:15 -07:00
Eric Traut
a06dc9b47d
Added support for Literal special type.
2019-05-03 22:12:26 -07:00
Eric Traut
4e8b51b844
Added generics checks for ClassVar.
2019-05-03 19:34:59 -07:00
Eric Traut
04d33fdb5a
Fixed bug in datetime.pyi fallback stub file.
2019-05-03 19:34:39 -07:00
Eric Traut
86deaa84ef
Added fallback for typing_extensions.pyi
2019-05-03 19:34:23 -07:00
Eric Traut
e8013ba21d
Improved responsiveness.
2019-05-03 01:29:51 -07:00
Eric Traut
d2a8a36e5e
Improved handling of assignments to tuples.
2019-05-02 23:00:10 -07:00
Eric Traut
adab0bd9d0
Added code to assign tuple targets based on iteration type of RHS of assignment.
2019-05-01 21:57:32 -07:00
Eric Traut
c3e156892a
Published 1.0.22
2019-05-01 21:00:12 -07:00
Eric Traut
44108dc8e7
Fixed regression where modules imported with "import X" statement were reported as unbound if there was no type stub found.
2019-05-01 20:58:13 -07:00
Eric Traut
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.
2019-05-01 20:57:29 -07:00
Eric Traut
9f7c561cc2
Published 1.0.21
2019-05-01 18:45:25 -07:00
Eric Traut
76697a8252
Added support for "reportUntypedNamedTuple" switch.
2019-05-01 18:43:45 -07:00
Eric Traut
718d00fa92
Fixed bugs in tests that were exposed by recent bug fixes in type analyzer.
2019-05-01 18:35:58 -07:00
Eric Traut
33f05d06f3
Improved expression type constraints for list comprehension if statements.
2019-05-01 13:00:36 -07:00
Eric Traut
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.
2019-05-01 11:46:24 -07:00
Eric Traut
6885d6b835
Fixed bug that prevented proper assignment checking for all specialized built-in types (List, etc.) other than Tuple.
2019-05-01 10:08:07 -07:00
Eric Traut
4de27e31fd
Added logic to index evaluator to special-case indexing into a Tuple with an integer.
2019-05-01 10:07:18 -07:00
Eric Traut
22982717d7
Fixed bug in textRangeCollection that caused completion provider to pop up completion suggestions within a comment.
2019-05-01 09:56:37 -07:00