Peter Law
0f8e7b453e
Formatting
2020-03-18 22:12:21 +00:00
Peter Law
da9d312185
Remove redundant attribute check
2020-03-12 22:06:13 +00:00
Peter Law
b198434694
Remove resolved TODO
...
The common logic this refers to has now been extracted (see 95cec459
2020-03-07 20:29:14 +00:00
Peter Law
d06efd0dd1
Push fetching of generics into nested function
...
This slightly simplifies both the calling code and semantics of
the nested function.
2020-03-07 18:09:20 +00:00
Peter Law
96132587b7
Clarify generic tuple inference
...
This hoist a loop invariant conditional check outside the loop
making it clearer and one branch more obviously similar to the
general type handling.
2020-03-07 17:35:29 +00:00
Peter Law
5d273f4630
Explain these branches
2020-03-07 17:35:03 +00:00
Peter Law
95cec459a8
Extract nested function for common pattern
...
This slightly simplifies the code, as well as providing a place
to put an explanation of what the moved block of code does.
2020-03-07 17:06:22 +00:00
Peter Law
3b4fa2aa9c
Clarify variable name
2020-03-07 16:32:38 +00:00
Peter Law
54e29eede1
Add explanation of the parameters to _infer_type_vars
2020-03-07 16:31:12 +00:00
Peter Law
f1a9e681ad
Ensure comprehensions and generator expressions work
2020-02-23 15:25:28 +00:00
Peter Law
f4cbf61604
Ensure variadic tuples (Tuple[T, ...]) behave like sequences
2020-02-23 14:00:39 +00:00
Peter Law
5e990d9206
Support passing through values for non-annotated tuples
2020-02-23 14:00:16 +00:00
Peter Law
e557129121
Remove check which doesn't seem to be needed
...
I'm not sure why I added this, though removing it doesn't seem to
casue any issues. I suspect there might be some oddness if the type
being passed in doesn't match the type expected, though them having
the same number of generic paramters isn't an expecially great way
to validate that.
2020-02-23 14:00:16 +00:00
Peter Law
c15e0ef9b8
Ensure specialised types inheriting from generics work
2020-02-23 14:00:15 +00:00
Peter Law
c03ae0315e
Make nested Type[T] annotations work
2020-02-23 13:59:44 +00:00
Peter Law
bc53dabce3
Make tuple generic parameters work
2020-02-23 13:59:44 +00:00
Peter Law
969a8f1fd9
First pass at extending infer_type_vars
...
This mostly works for the new tests, but doesn't work for:
- tuples (though this seems to be because they lack generic information anyway)
- nested Type[T] handling (e.g: List[Type[T]])
2020-02-23 13:59:44 +00:00
Peter Law
6efafb348e
Extract the annotation name upfront
...
We almost always need this and this simplifies the code within
each branch. This also means we'll be able to the name to determine
the branching.
2020-02-22 19:42:08 +00:00
Peter Law
36b4b797c1
Add trailing comma
2020-02-22 19:42:08 +00:00
Lior Goldberg
1874e9be81
Remove the word 'class' from annotation_string
...
Currently, 'foo(x: int)' results with annotation_string="<class 'int'>".
Change this to 'int'.
2020-02-20 09:35:01 +01:00
Peter Law
c4cf0d78e1
Add a couple of docstrings
...
These are based on observation of the outputs of these functions.
2020-02-15 12:25:12 +01:00
Dave Halter
7a55484b79
Fix a test issue
2020-02-04 23:56:01 +01:00
Dave Halter
40fced2450
Actually use follow_builtin_imports and improve the goto docstring, fixes #1492
2020-02-04 19:34:42 +01:00
Dave Halter
3388a9659b
Catch an error with illegal class instances, fixes #1491
2020-02-03 22:27:48 +01:00
Dave Halter
a49c757b8a
Make Ellipsis without list in Callable work, fixes #1475
2020-02-03 09:25:46 +01:00
Dave Halter
eee919174d
Stubs should not become stubs again in the conversion function, fixes #1475
2020-02-03 00:58:54 +01:00
Dave Halter
e802f5aabd
Make sure to print errors in __main__ completions
2020-02-02 23:28:55 +01:00
Dave Halter
e3c4b5b77e
Make sure param hints are working for functions
2020-02-02 18:42:01 +01:00
Dave Halter
4c7179bc87
Generate type hints, fixes #987
2020-02-02 16:55:10 +01:00
Dave Halter
f4b1fc479d
Bump version to 0.16.1
2020-01-31 13:38:27 +01:00
Dave Halter
e1425de8a4
Make sure to be able to deal with all kinds of loaders, fixes #1487
2020-01-31 13:26:56 +01:00
Dave Halter
e930f47861
Make generators return more correct values with while loops, fixes #683
2020-01-29 10:13:46 +01:00
Dave Halter
d630ed55f3
Avoid aborting search for yields when they are still reachable, see #683
2020-01-28 09:35:58 +01:00
Dave Halter
045b8a35a2
Remove dead code
2020-01-26 19:39:15 +01:00
Dave Halter
7645762a25
Fix a small signature issue
2020-01-26 00:42:00 +01:00
Dave Halter
2e036bffb5
Create a private helper to test completions
2020-01-26 00:28:48 +01:00
Dave Halter
feefd47ddd
Fix an issue with names
2020-01-25 18:48:52 +01:00
Dave Halter
f42ab8872d
compiled_object -> compiled_value
2020-01-25 18:25:19 +01:00
Dave Halter
7c3dbef9c5
Remove dead code
2020-01-25 18:16:30 +01:00
Dave Halter
8cccdde28d
CompiledObject -> CompiledValue
2020-01-25 18:13:50 +01:00
Dave Halter
5cd4a52bcd
CompiledValue -> ExactValue
2020-01-25 18:09:44 +01:00
Dave Halter
517fa27dc6
Revisit caching of mixed
2020-01-25 17:58:12 +01:00
Dave Halter
329329c195
Make MixedName a Namewrapper instead of inheritance
2020-01-25 17:54:19 +01:00
Dave Halter
8bde54a072
Remove underscore_memoization caching method
2020-01-25 17:29:52 +01:00
Dave Halter
235b887b75
Refactor MixedName quite a bit
2020-01-25 16:56:01 +01:00
Dave Halter
da2a55c73f
Fix issue with mixed objects, fixes #1480
2020-01-25 15:02:55 +01:00
Dave Halter
0435e0e85c
Remove some dead code
2020-01-25 13:25:23 +01:00
Dave Halter
9c0efd5a67
Prepare a test for #1479
2020-01-25 01:07:20 +01:00
Dave Halter
7683c05de3
Fix value/context mixup in mixed, fixes #1479
2020-01-24 22:09:25 +01:00
Dave Halter
6cfcba0d97
Use is_compiled instead of isinstance checks
2020-01-24 13:12:48 +01:00
