Commit Graph

931 Commits

Author SHA1 Message Date
Alex Tkachman 0b327d29bc fix KT-2481: no bridge for supercall 2012-07-28 14:17:42 +03:00
Alex Tkachman eaee4e9cc7 Merge pull request #112 from udalov/kt2541
KT-2541 VerifyError on substituting type after inheritance from trait
2012-07-27 22:29:02 -07:00
Andrey Breslav c02e54678e Descriptors with error types can override each other 2012-07-27 20:16:57 +04:00
Andrey Breslav f78d26c89a java.lang.Object methods included into tests' output 2012-07-27 20:16:57 +04:00
Alexander Udalov fe1e6fc0d3 KT-2541 VerifyError on substituting type after inheritance from trait
#KT-2541 Fixed
2012-07-27 19:43:14 +04:00
Andrey Breslav 2923c1f32e Simple LR Tests don't need to compare all the packages in the world 2012-07-26 17:41:46 +04:00
Pavel V. Talanov fa1c471d92 Partial fix for KT-470: Remove duplicating errors on the same element.
Redeclarations for top-level properties still get two REDECLARATION diagnostics. (In overload resolver and declaration resolver)
Also added test for redeclaring extension properties.
Also remove useless null check.
2012-07-26 13:11:38 +04:00
Pavel V. Talanov cd1ca92f74 KT-53: Allow generic parameter passing for properties.
Obsolete issue.

 #KT-53 Fixed
2012-07-25 14:48:40 +04:00
Pavel V. Talanov fd78340897 KT-310: Tell the user when something is a property and not a function.
#KT-310 Fixed
2012-07-25 14:00:03 +04:00
Pavel V. Talanov 84217393f6 KT-304: Resolve supertype reference to class anyway.
#KT-304 Fixed
2012-07-25 14:00:02 +04:00
Pavel V. Talanov 22af8f7296 KT-304: Resolve supertype reference to class anyway.
#KT-304 Fixed
2012-07-25 14:00:01 +04:00
Andrey Breslav ba9bf15bc3 Test data updated to meet cli-parser-1.1 output 2012-07-25 12:40:26 +04:00
Andrey Breslav 29bc36b69c Merge pull request #109 from udalov/kt2438
KT-2438 Prohibit inner classes with the same name
2012-07-24 07:51:35 -07:00
Alexander Udalov 4712dd759c KT-2438 Prohibit inner classes with the same name
Rewrite checkClassObjectInnerClassNames() to also
check for name clashes between inner classes of a
single class
 #KT-2438 Fixed
2012-07-24 16:25:17 +04:00
Pavel V. Talanov b216bbb844 KT-619 Type inference fails
#KT-619 Fixed
2012-07-24 15:53:39 +04:00
Alexander Udalov 6eb4cf5aa5 KT-2423 Jump after condition check in inner loop is to the wrong label
#KT-2423 Fixed
2012-07-23 20:11:27 +04:00
Andrey Breslav 69e1b8d407 More test data for LR 2012-07-23 19:38:27 +04:00
Andrey Breslav 05ad042710 LR: Newly supported test data 2012-07-23 19:38:27 +04:00
Andrey Breslav 1eefbd4c75 Test data updated in accrdance with recent logic chnages in OverrideResolver 2012-07-23 19:38:26 +04:00
Andrey Breslav 46737dfb11 Don't create constructors for traits 2012-07-23 16:41:23 +04:00
Andrey Breslav ea7e7f01fb Qualified "this" supported by lazy resolve:
- Appropriate scope methods implemented
- Class declarations recorded in the binding trace
2012-07-23 13:43:35 +04:00
Evgeny Gerashchenko a9564e7580 KT-2414 for (x in 0 downto 0) makes no steps
#KT-2414 fixed
2012-07-21 20:34:25 +04:00
Svetlana Isakova 18b6b53288 Merge pull request #106 from udalov/kt2457-fe
Senseless null in when (KT-2457 frontend part)
2012-07-20 09:25:35 -07:00
Alexander Udalov 0c0232f42b Senseless null in when (KT-2457 frontend part) 2012-07-20 19:51:48 +04:00
Svetlana Isakova 6f8f151db5 added java.lang.Comparable to JavaTypeTransformer 2012-07-20 19:34:55 +04:00
Svetlana Isakova a4bb47a73f type inference with functional literal params changed
if there are function literals without declared parameter types,
try adding constraint with current substituted result first (known type parameters),
if there is error, try adding constraint with 'dont_care' substitution
2012-07-20 19:34:55 +04:00
Svetlana Isakova b161b6bfbf added error TYPE_INFERENCE_EXPECTED_TYPE_MISMATCH 2012-07-20 19:34:54 +04:00
Svetlana Isakova 5edfc6e2eb 'reportTypeInferenceFailed' moved to tracing 2012-07-20 19:34:54 +04:00
Svetlana Isakova e3d2b013da added tests for specific type inference errors 2012-07-20 19:34:54 +04:00
Svetlana Isakova fd04717ecc added 'hasErrorInConstrainingTypes'
not to report type inference error in such cases
2012-07-20 19:34:54 +04:00
Svetlana Isakova 1002324ad6 regenerated diagnostics tests 2012-07-20 19:34:52 +04:00
Svetlana Isakova 3739301566 TYPE_INFERENCE_FAILED changed in tests
to concrete type inference error
2012-07-20 19:34:52 +04:00
Svetlana Isakova eb82eba121 tests for type inference
#KT-1800 fixed
 #KT-1029 fixed
 #KT-1031 fixed
 #KT-1558 fixed
 #KT-1944 fixed
 #KT-2179 fixed
 #KT-2294 fixed
 #KT-2320 fixed
 #KT-2324 fixed
2012-07-20 19:34:51 +04:00
Pavel V. Talanov f861b69d7a Deal with cases when different visibility of overridden members could produce incorrect fake override.
(by Pavel Talanov and Andrey Breslav)
2012-07-20 18:31:05 +04:00
Pavel V. Talanov d65b6bc69f KT-2472: Wrong "multiple implementations inherited" diagnostics for JFrame.
Check whether member is visible when creating fake overrides.

 #KT-2472 Fixed
2012-07-20 18:29:52 +04:00
Pavel V. Talanov d262d06f2d Test for KT-2472. 2012-07-20 18:29:51 +04:00
Alexander Udalov 2ac70ee35f KT-2457 Verify error when comparing not null value with null in when
backend-side changes
2012-07-20 17:43:38 +04:00
Andrey Breslav 2a3ffed228 LR: Newly passed test data added 2012-07-20 14:19:58 +04:00
Andrey Breslav ecf5f8228c Test data for newly passing tests 2012-07-20 11:50:04 +04:00
Alexander Udalov db008d5d38 KT-2466 "When" on boolean produces VerifyError
#KT-2466 Fixed
2012-07-19 21:39:41 +04:00
Andrey Breslav 98efc0276a Merge pull request #102 from udalov/kt2247
KT-2247 Report name clashes between inner classes and members of class object
2012-07-19 10:10:35 -07:00
Andrey Breslav bf503e9a4b KT-2363 Drop secondary constructors
#KT-2363 Fixed
2012-07-19 19:53:06 +04:00
Andrey Breslav 1f4783efb3 LR: Class objects are only allowed in a static context 2012-07-19 18:38:29 +04:00
Andrey Breslav ba75c0ca04 Test data for now passing tests 2012-07-19 18:12:37 +04:00
Andrey Breslav 3403e6c95d Proper scoping for inner classes: they must shadow outer classes 2012-07-19 18:12:12 +04:00
Alexander Udalov eeacfb96a3 KT-2247 Report name clashes between inner classes and members of class object
#KT-2247 Fixed
2012-07-19 17:56:51 +04:00
Andrey Breslav 8c1fd5e9c7 LR: Class object of an enum class doesn't carry type parameters 2012-07-19 17:22:10 +04:00
Andrey Breslav c91af010e1 Class descriptors with kind OBJECT are always final 2012-07-19 17:19:53 +04:00
Andrey Breslav bd5eb0c2b5 Missing test data file 2012-07-19 17:19:02 +04:00
Andrey Breslav 2ce0ddea8d Test data for newly passing tests 2012-07-19 17:09:58 +04:00