Commit Graph

2117 Commits

Author SHA1 Message Date
Mikhael Bogdanov 4f017df237 Fix kt-1800 test 2013-12-02 10:40:54 +04:00
Andrey Breslav 93160431f9 Fix recusrive calls in infix and prefix form
The infamous invokeOperation() method removed
2013-11-29 12:52:58 +04:00
Mikhael Bogdanov 1f37ebf7e7 Tests for KT-3646: Wrong this in closure for extension function in constructor
#KT-3646 Obsolete
2013-11-28 12:12:14 +04:00
Mikhael Bogdanov 35f42b1a65 Tests for KT-4252: Error generating primary constructor with kind OwnerKind
#KT-4252 Obsolete
2013-11-28 10:11:26 +04:00
svtk b178c79573 analyze function arguments after completion for unresolved and ambiguity cases 2013-11-27 14:26:36 +04:00
Alexey Sedunov 6dfad69434 Allow super calls in object declarations 2013-11-26 17:29:59 +04:00
Mikhael Bogdanov 9037449313 Inline flag calculation through inline annotation 2013-11-26 12:53:07 +04:00
Mikhael Bogdanov 1ecdf77305 Added inline annotation 2013-11-26 12:53:06 +04:00
svtk 95ca2d8f98 Fixed bug with property and function name clash.
Complete type inference dependent on function literals and expected type
for variable as function calls not for 'invoke' calls
2013-11-25 19:42:07 +04:00
svtk 1bfca62592 Fixed: analyze unmapped (or with no callee) functional arguments with right context. 2013-11-22 18:58:02 +04:00
svtk ae3331717e Fixed: unmapped arguments should be completed as well. 2013-11-22 18:58:02 +04:00
svtk 058726a0f1 Check function arguments of nested unsuccessful calls. 2013-11-22 18:58:02 +04:00
svtk 1a34dffb1f Fixed inference in a simple case.
Try number lower bounds before upper bounds when computing a value.
2013-11-22 18:58:01 +04:00
svtk 9d3a7804cc Fixed tests for labels.
The bug was automatically fixed by previous commit.
2013-11-22 18:58:01 +04:00
svtk ca1650d31d Fixed exception from EA
"The constraint shouldn't contain different type variables on both sides: T <: R".
It occurred because we analyzed function literals before completion with unsubstituted (therefore wrong) expected type, and cached resulting type.
2013-11-22 18:58:01 +04:00
svtk 2bd4aa97c6 KT-4204 ConstraintSystem erased after resolution completion
#KT-4204 Fixed
2013-11-22 18:57:59 +04:00
svtk c1ec8cbde9 check Nothing type for all expressions not only for calls and simple names
(but excluding statement expressions)
2013-11-22 18:57:58 +04:00
Evgeny Gerashchenko d937909ebf Separated test data depending on target platform (JS/JVM) 2013-11-21 17:37:36 +04:00
Evgeny Gerashchenko f06e46951f Separated ScriptTest from other cli tests. 2013-11-21 17:37:36 +04:00
Evgeny Gerashchenko 46879e5a26 Moved args into test data of cli tests. 2013-11-21 17:37:35 +04:00
Andrey Breslav 345ecbf4c0 Never import object descriptors, for they may overwrite corresponding vals 2013-11-21 13:07:39 +04:00
Andrey Breslav 083644ea43 Support parameter annotations. Fix class path and test data 2013-11-21 13:07:36 +04:00
Andrey Breslav 9e446373e3 Old JDR and test data fixed 2013-11-21 13:07:35 +04:00
Andrey Breslav bfbb200ba8 Only render exact function types in special syntax 2013-11-21 13:05:39 +04:00
Natalia Ukhorskaya d241bfc138 KT-3517 Can't call .equals() on a boolean
#KT-3517 Fixed
2013-11-19 12:05:26 +04:00
Alexander Udalov 6f31692996 Import nested classes both from classes and their class objects
It seems that this incorrect behaviour was introduced in 726bcb5
2013-11-18 19:51:29 +04:00
Alexander Udalov e2622b5dbb Resolve extension calls on class objects
#KT-3470 Fixed
2013-11-18 19:51:29 +04:00
Alexander Udalov 838c408e68 LHS of qualified expressions are determined manually
ExpressionPosition is useless now and will be dropped

 #KT-3866 Fixed
2013-11-18 19:51:28 +04:00
Alexander Udalov e8089cc461 Synthetic class object of enum should always be public
#KT-2834 Fixed
2013-11-18 19:46:01 +04:00
Andrey Breslav 38b38e7b6d KT-4198 On covariant projection, do not throw whole var's away
#KT-4198 Fixed
2013-11-18 18:30:41 +04:00
Andrey Breslav 7bc8f9f5ff Test data fixed 2013-11-18 16:38:45 +04:00
Andrey Breslav c0fce6becd KT-4209 Make constructors of primitives private
#KT-4209 Fixed
2013-11-18 15:09:56 +04:00
Andrey Breslav 0c1c0e0099 Always generate local variable table to preserve parameter names 2013-11-15 19:41:25 +04:00
Alexander Udalov 776b5d0a6e Minor, move enum diagnostic tests, add another test 2013-11-14 19:11:20 +04:00
Alexander Udalov 8c3f9149ac Add a test on extension function to object 2013-11-14 19:11:20 +04:00
Alexander Udalov cdecbc0915 Class objects also can have delegated members 2013-11-14 19:11:18 +04:00
Alexander Udalov 29f3c4a1a0 Report upper bounds violation for objects, not only classes 2013-11-14 19:11:18 +04:00
Alexander Udalov 57aa355b05 Report INVISIBLE_MEMBER on private class object usage 2013-11-14 19:10:18 +04:00
Alexander Udalov 94deb21551 Minor, move diagnostic tests for class objects 2013-11-14 17:45:57 +04:00
Pavel V. Talanov 959ab2b20c Enum class objects values and valueOf functions have kind SYNTHESIZED 2013-11-12 14:15:51 +04:00
Andrey Breslav 2b6f688a52 Annotate fields from traits' class object properties 2013-11-11 17:20:16 +04:00
Andrey Breslav 1f574a9feb Do not annotate private members and their parameters (to save space) 2013-11-11 17:20:15 +04:00
Andrey Breslav 0959f7e37c Don't mark primitive types as @NotNull 2013-11-11 17:20:15 +04:00
Andrey Breslav f3901d2844 visitAnnotation() could return null for light classes 2013-11-11 17:20:15 +04:00
Andrey Breslav 2873f74932 Generate @Nullable/@NotNull annotations on Kotlin declarations (for IDEA interop) 2013-11-11 17:20:15 +04:00
Mikhael Bogdanov 1795b2a0bc KT-4118 Closures mix makes code fail on runtime
#KT-4118 Fixed
2013-11-11 12:22:06 +04:00
Nikolay Krasko 560fccbfb5 Better recovering after reporting error about several statements on the line 2013-11-09 14:08:01 +04:00
svtk 64e12398af comment added to tests 2013-11-08 16:33:41 +04:00
svtk 95ef417ee8 KT-4170 Compiler hangs (or works too long)
#KT-4170 Fixed
2013-11-08 16:33:41 +04:00
Mikhael Bogdanov df03eb5330 KT-4173: Can't pass a non-trivial closure to a super-call for object expression
#KT-4173 Fixed
2013-11-08 15:19:20 +04:00