Commit Graph

912 Commits

Author SHA1 Message Date
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
Andrey Breslav 4c71624997 LR: Delegation supported 2012-07-19 17:09:58 +04:00
Andrey Breslav 542068d14a Test data updated according to the changes in NamespaceComparator 2012-07-19 17:09:57 +04:00
Andrey Breslav eb1a279c67 Lazy resolve: Objects don't show up as classifiers 2012-07-19 17:09:57 +04:00
Andrey Breslav 43a00b9787 Class objects explicitly marked in the test data 2012-07-18 17:44:12 +04:00
Dmitry Jemerov 1ac60dae5e don't use PSI for calculating the type of first argument of trait function implementation 2012-07-13 16:12:33 +02:00
Andrey Breslav 44d92d8eb3 Support for checking loaded descriptors agains an expected txt file 2012-07-13 12:31:21 +04:00
Dmitry Jemerov 40e4e32eab object declarations need trait methods to be generated too (KT-2399) 2012-07-12 17:45:41 +02:00
Dmitry Jemerov de3f5d0e2d avoid coercing 'this' to a supertype; cleaner handling of stackvalues for 'this' and 'super' (KT-2395) 2012-07-11 16:59:01 +02:00
Alexander Udalov 2d6b8abbe1 fix java.lang.Number type mapping to jet.Number (KT-2376) 2012-07-11 16:37:48 +04:00
Alexander Udalov 5cc043314d KT-2376 java.lang.Number should be visible in Kotlin as jet.Number
#KT-2376 Fixed
2012-07-11 14:31:10 +04:00
Alex Tkachman 8012725d38 KT-2060 fix 2012-07-11 13:10:54 +03:00
Dmitry Jemerov 1fe9c291f1 ugly and incomplete solution for using correct bytecode instruction when accessing properties inherited from traits (KT-2391) 2012-07-10 21:21:16 +02:00
Andrey Breslav d0e40abc09 Lazy resolve: Full standard library is properly loaded 2012-07-10 22:49:18 +04:00
Andrey Breslav 3266c2bdde Lazy resolve: Proper scope when inferring types of member properties 2012-07-10 22:48:49 +04:00
Andrey Breslav 33dfd5bb6b Lazy resolve: Package-level objects are handled properly 2012-07-10 22:48:49 +04:00
Dmitry Jemerov 57c1b05684 generate correct cast for arguments of bridge methods (KT-2390) 2012-07-10 19:59:33 +02:00
Andrey Breslav 3d8d92c7d3 JetDiagnosticsTest migrated to TestGenerator
- test data files renamed from *.jet to *.kt
2012-07-10 14:48:11 +04:00
Alexander Udalov a07954eaac load 'this' instead of $classobj if we're inside class object's constructor
#KT-2384 Fixed
2012-07-09 22:16:19 +04:00
Alexander Udalov 06f2cbc891 object literals now capture expressions from 'by' delegate specifier
#KT-2224 Fixed
2012-07-09 14:51:10 +04:00