Commit Graph

2967 Commits

Author SHA1 Message Date
Andrey Breslav a14eefcea3 KT-6077 Compiler does not issue error on unsafe access to ArrayList with nullable values
#KT-6077 Fixed
2014-10-22 00:41:20 +04:00
Andrey Breslav 7b89771953 KT-6059 Regression: irrelevant compiler error on trait inheritance (worked in M8)
#KT-6059 Fixed
2014-10-22 00:41:19 +04:00
Andrey Breslav 0e42de4e99 CHECK_TYPES injected through imports 2014-10-22 00:41:19 +04:00
Andrey Breslav f06e5581aa Support creating flexible types in tests
Flexible types can not be created in normal user code, but if there's a special classifier `kotlin.internal.flexible.ft` with two type parameters,
its occurrences are replaced by flexible types, e.g. `ft<Int, Int?>` becomes `Int!`
2014-10-22 00:41:18 +04:00
Michael Bogdanov 6eaa6201f0 Test for obsolete KT-6020: Type inference failed on property reference of generic class
#KT-6020 Can't Reproduce
2014-10-21 09:47:17 +04:00
Alexander Udalov 3a8ad45dec Append newline to EOF for .txt test data files
Reverts and fixes 102f0d3
2014-10-21 03:18:27 +04:00
Alexander Udalov 102f0d3470 Regenerate .txt testData
Add newline to EOF, trim trailing spaces
2014-10-21 00:16:08 +04:00
Alexander Udalov 4d9ef1042d Prohibit 'override' on classes and all modality on objects
#KT-3464 Fixed
2014-10-21 00:16:07 +04:00
Alexander Udalov ae401cac0f Prohibit type parameters for enum classes
#KT-5696 Fixed
2014-10-21 00:16:07 +04:00
Alexander Udalov 63366042ed Fix incorrect "senseless null in when" on nullable type 2014-10-21 00:16:07 +04:00
Alexander Udalov fe59dc27b3 Make 'when' on nullable enums exhaustive if 'null' entry is present
#KT-2902 Fixed
2014-10-21 00:16:06 +04:00
Alexander Udalov c071ac854e Prohibit all modifiers for enum entries
#KT-2679 Fixed
2014-10-21 00:16:06 +04:00
Svetlana Isakova 4a1a95ea36 Rename: casted -> cast 2014-10-18 11:06:53 +04:00
Svetlana Isakova 595b3ffe23 KT-6026 Exception on instantiating a nested class in an anonymous object
#KT-6026 Fixed
2014-10-18 11:06:53 +04:00
Svetlana Isakova c0c9552f4c KT-5971 Missing error when fun argument is safe call
#KT-5971 Fixed
2014-10-18 11:06:53 +04:00
Svetlana Isakova a47729c626 KT-5455 Need warning about redundant type cast
#KT-5455 Fixed
2014-10-18 11:06:52 +04:00
Svetlana Isakova b20327770b KT-5854 Incorrect 'Nested class should be qualified'
#KT-5854 Fixed
2014-10-18 11:06:52 +04:00
Svetlana Isakova c0eb894bd9 Rename: NO_RECEIVER_ADMITTED -> NO_RECEIVER_ALLOWED 2014-10-18 11:06:51 +04:00
Alexander Udalov 6ddc063a76 Regenerate test data on enums
Now they have final equals, hashCode and compareTo
2014-10-17 21:27:24 +04:00
Alexander Udalov 624e507ec2 Make enum classes comparable
#KT-3727 Fixed
2014-10-17 21:27:23 +04:00
Alexander Udalov 66a7a58313 Prohibit to override equals/hashCode in enums
#KT-5721 Fixed
2014-10-17 21:27:22 +04:00
Alexander Udalov 6ec71b3fd1 Generate lambdas in enum entry super calls
#KT-4423 Fixed
2014-10-17 21:27:22 +04:00
Alexander Udalov 1edaf43051 Fix Double and Float equality/hashCode in data classes
#KT-5818 Fixed
2014-10-17 21:27:22 +04:00
Alexander Udalov d3e3039eb2 Add tests for obsolete "nested class is inaccessible"
#KT-3535 Obsolete
 #KT-3647 Obsolete
 #KT-3731 Obsolete
2014-10-17 21:27:21 +04:00
Denis Zharkov ec63394121 Check that boxing instruction is simple call
like T.valueOf(unboxType(T))

 #KT-6047 fixed
2014-10-17 01:22:25 +04:00
Alexander Udalov 6698e0ecc9 Add test for outdated smart cast with elvis issue
#KT-5335 Obsolete
2014-10-16 16:38:11 +04:00
Alexander Udalov 159878e09d Pass correct outer instance in complex case of inheritance
#KT-5343 Fixed
2014-10-16 16:16:55 +04:00
Alexander Udalov 61674fb3d9 Don't put outer instance twice for anonymous object extending inner
#KT-5343 In Progress
2014-10-16 16:16:54 +04:00
Alexander Udalov 7315146753 Fix and refactor ExpressionCodegen#pushClosureOnStack
- change Closure parameter to ClassDescriptor, load closure in the beginning
- invert and rename boolean parameter, also use it only to prevent pushing
  dispatch receiver (not the extension receiver) onto the stack because the
  only non-trivial usage of it is preceded by manual handling of the dispatch
  (not extension) receiver. This fixes innerOfLocalCaptureExtensionReceiver.kt
2014-10-16 16:16:54 +04:00
Andrey Breslav 3453809b4b Defining flexible type semantic equality through subtyping 2014-10-15 14:07:55 +04:00
Andrey Breslav 2bf6db003a Error message corrected: packages can't be nested any more 2014-10-15 12:22:35 +04:00
Andrey Breslav 391b57077b KT-5976 Parser recovery is poor on object with parameters
#KT-5976 Fixed
2014-10-15 12:22:35 +04:00
Evgeny Gerashchenko a759fc2454 Added test for EA-53340. 2014-10-15 11:50:59 +04:00
Alexey Sedunov c73c581b11 Call Resolver: Report UNRESOLVED_REFERENCE instead of EXPRESSION_EXPECTED_PACKAGE_FOUND when callee expession is resolved to package 2014-10-14 01:59:48 +04:00
Alexey Sedunov a3a0edca58 Pseudocode: Drop CompilationErrorInstruction 2014-10-14 01:59:43 +04:00
Alexey Sedunov a56c54371e Pseudocode: Generate instructions for unresolved array assignments 2014-10-14 01:59:42 +04:00
Michael Nedzelsky aa3d0fe1d7 minor: rename TargetBackend enum values 2014-10-13 19:24:59 +04:00
Andrey Breslav 838ef11f1c Test data fixed: after "type" is no longer a keyword 2014-10-13 16:42:03 +04:00
Andrey Breslav cc68ed894b "type" is not a keyword anymore ("typealias" reserved instead) 2014-10-13 15:41:13 +04:00
Andrey Breslav 070a7d4d72 Serialization of flexible types supported 2014-10-13 15:38:20 +04:00
Andrey Breslav 8eb57f5a75 Parser recovers on platform types notation:
- Foo!
- Array<(out) Foo>!
- (Mutable)List<Foo>!
2014-10-13 15:38:18 +04:00
Andrey Breslav 1214bef3e8 Always create a missing txt file, even if the test itself fails before 2014-10-13 15:38:17 +04:00
Andrey Breslav 890ef7a8ae Choosing a best fit when getting multiple exact bounds for a type variable 2014-10-13 15:38:16 +04:00
Andrey Breslav e418a763db Fix JetType.equals(): flexible types are not equal to non-flexible ones, when we store them in a HashSet 2014-10-13 15:38:15 +04:00
Andrey Breslav 5be4dda58b Unit obtained through a generic substitution should not be mapped to VOID 2014-10-13 15:38:14 +04:00
Andrey Breslav f5aed51fd0 TypeUtils.containsSpecialType() fixed to account for flexible types 2014-10-13 15:38:14 +04:00
Andrey Breslav a737352b5d Assertions when approximating platform types in delegation by expression 2014-10-13 15:38:13 +04:00
Andrey Breslav f1c66fa6b0 Assertions on approximation of platform types to non-null types
- for most expressions (ExpressionCodegen.genQualified)
2014-10-13 15:38:13 +04:00
Andrey Breslav 013dd7261e Extensible specificity expressed as a type capability 2014-10-13 15:38:11 +04:00
Andrey Breslav 6564231040 Descriptor test data for diagnostic tests fixed 2014-10-13 15:38:10 +04:00