Commit Graph

69 Commits

Author SHA1 Message Date
Eric Traut
24ba66d87c
Delete command-line 2019-03-20 12:00:37 -07:00
Eric Traut
1f7a4c8457
Create command-line 2019-03-20 12:00:28 -07:00
Eric Traut
ceb8851d0a
Create configuration.md 2019-03-20 11:59:53 -07:00
Eric Traut
ee774dda8c
Delete index.md 2019-03-20 11:59:32 -07:00
Eric Traut
57f1c62c4b
Create index.md 2019-03-20 11:54:08 -07:00
Eric Traut
38f9e8a3d0 Fixed a few more bugs in generics processing. 2019-03-20 00:59:11 -07:00
Eric Traut
9265e2dcdd Fixed several bugs in type var inference. 2019-03-19 22:49:42 -07:00
Eric Traut
33ba7b44bf Implemented type inference for calls with generic types. 2019-03-19 21:26:54 -07:00
Eric Traut
723f0c7827 Updated README. 2019-03-19 21:03:50 -07:00
Eric Traut
a6f67641ed Added Limitations and FAQ section. 2019-03-19 16:07:43 -07:00
Eric Traut
5c9f643ea1 Updated client package version. 2019-03-19 14:54:49 -07:00
Eric Traut
128d94ceb7 Updated build instructions and scripts. 2019-03-19 14:24:51 -07:00
Eric Traut
9575406b4f Improved handling of partial binding. 2019-03-19 13:37:41 -07:00
Eric Traut
bce682018f Updated README. 2019-03-19 01:12:11 -07:00
Eric Traut
d6f1a7674b Revamped handling of instance method and class method calls by introducing the idea of a "bound function". 2019-03-19 01:09:23 -07:00
Eric Traut
4db1586c7c Fixed bug in expression evaluator that resulted in an assertion. 2019-03-18 22:37:43 -07:00
Eric Traut
fc521d93c5 Added declaredType back to Symbol.
Disabled handling of generator return types.
2019-03-18 01:07:31 -07:00
Eric Traut
5260d9691f For now, assume await returns unknown type. 2019-03-18 00:42:42 -07:00
Eric Traut
971c090520 Removed declaredType field from Symbol. 2019-03-18 00:42:16 -07:00
Eric Traut
8c25f7b504 Added validation that await appears only within async function.
Silenced error in expression evaluator.
2019-03-17 23:28:35 -07:00
Eric Traut
41a3d4b125 More fixes to __init__ validation. 2019-03-17 22:28:27 -07:00
Eric Traut
3d6d99e1cd Updated copyright notices in all source files. 2019-03-17 22:14:08 -07:00
Eric Traut
22e0fb133a Updated LICENSE and CONTRIBUTING files. 2019-03-17 22:05:33 -07:00
Eric Traut
45d3682eeb Fixed validation of __init__ and __new__. 2019-03-17 22:05:16 -07:00
Eric Traut
21eb57f64e Added code to propagate if/else type conditions beyond the if/else statement if it always returns or raises. 2019-03-17 20:26:23 -07:00
Eric Traut
6a6920d1a7 Moved conditional expression evaluation into expression evaluator. 2019-03-17 19:38:35 -07:00
Eric Traut
6b89c747d7 Fixed bug in handling of conditional expressions. 2019-03-17 19:22:19 -07:00
Eric Traut
569c50b23d Added type conditional support for "X is None" and "X is not None" patterns. 2019-03-17 18:40:07 -07:00
Eric Traut
55b7f62435 Added code to "self specialize" the type for "self" and "cls" parameters.
Started to add support for generators.
2019-03-17 17:27:39 -07:00
Eric Traut
6f3d736c75 Fixed a few bugs in public typeshed files. 2019-03-17 17:26:35 -07:00
Eric Traut
aefac4b9e5 Restructure and rename for clarity. 2019-03-17 09:57:19 -07:00
Eric Traut
84c187a47b Added minimal handling of ClassVar.
Fixed bug in type analyzer related to property analysis.
2019-03-17 09:32:29 -07:00
Eric Traut
c042723aa6 Updated README. 2019-03-17 09:31:42 -07:00
Eric Traut
017c21dcb1 None derives from object. 2019-03-17 00:12:36 -07:00
Eric Traut
42a19a82c5 Moved more logic from type analyzer to expression evaluator.
Added specialization support for function types.
2019-03-17 00:06:21 -07:00
Eric Traut
18ab06dbe3 Changed ClassType.cloneForSpecialization to take a list of type arguments as a parameter.
Moved __getattribute__ processing into expression evaluator.
Implemented more specialization logic.
Removed hacky node reference in FunctionParameter interface.
2019-03-16 16:14:47 -07:00
Eric Traut
6a246da971 Fixed bug in parsing of from import clauses where it didn't detect empty import statements. 2019-03-16 12:15:20 -07:00
Eric Traut
64ef65546b Fixed more bugs in expression evaluator. 2019-03-16 12:14:27 -07:00
Eric Traut
5c0c0ce016 Fixed several more bugs in expression evaluator. 2019-03-16 09:44:47 -07:00
Eric Traut
b518f36694 Removed redundant expression evaluation code from type analyzer. 2019-03-16 09:12:01 -07:00
Eric Traut
cee369f31b Temporarily commented out buggy code in list comprehension code. 2019-03-16 01:58:39 -07:00
Eric Traut
05aea176ef Added caching and a bunch of additional cases to expression evaluator. 2019-03-16 01:48:15 -07:00
Eric Traut
f933d3fa5c Removed typeAnnotation module and moved most of its logic into new expressionEvaluator module.
Created scopeUtils module.
2019-03-15 23:42:50 -07:00
Eric Traut
6da6593d4d Fixed a few more bugs in type checker. 2019-03-15 19:28:09 -07:00
Eric Traut
00ae7f1400 Fixed a few bugs in type analyzer. 2019-03-15 17:29:48 -07:00
Eric Traut
cbaaa0ff84 Fixed bug related to namedtuple. 2019-03-15 01:04:51 -07:00
Eric Traut
3ff54aab35 Continued work on generics. 2019-03-14 23:40:08 -07:00
Eric Traut
0ce70b3b98 Fixed bug in analysis loop that could result in dependent files not getting invalidated due to a timeout. 2019-03-14 23:39:29 -07:00
Eric Traut
b7793cbe29 Improved hover output for classes. 2019-03-14 23:38:31 -07:00
Eric Traut
6d7a44fcdf Fixed type stub file. 2019-03-14 23:38:11 -07:00