3453809b4b
Defining flexible type semantic equality through subtyping
2014-10-15 14:07:55 +04:00
f41a8d2c00
Render "<" properly in HTML
2014-10-15 14:07:54 +04:00
b1e452b568
type unescaped in *.kt files
2014-10-14 13:02:13 +04:00
f202a5c31d
KT-4524 Generate implementations fails on functions with default values
...
#KT-4524 Fixed
2014-10-13 15:43:03 +04:00
cc68ed894b
"type" is not a keyword anymore ("typealias" reserved instead)
2014-10-13 15:41:13 +04:00
b20439027c
Advancing ABI version
...
Related changes:
- serialization of flexible types supported
- Intrinsics.checkExpressionValueIsNotNull() added
2014-10-13 15:38:23 +04:00
4a132599fd
getAllOverriddenDescriptors() moved to DescriptorUtils
2014-10-13 15:38:22 +04:00
f7ccfafd1c
Minor. [platformStatic] used
2014-10-13 15:38:21 +04:00
f1675a9162
Minor. Getters replaced by properties
2014-10-13 15:38:21 +04:00
8e8f41e228
Minor. Improved usability of CustomTypeVariable API
2014-10-13 15:38:20 +04:00
070a7d4d72
Serialization of flexible types supported
2014-10-13 15:38:20 +04:00
890ef7a8ae
Choosing a best fit when getting multiple exact bounds for a type variable
2014-10-13 15:38:16 +04:00
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
f5aed51fd0
TypeUtils.containsSpecialType() fixed to account for flexible types
2014-10-13 15:38:14 +04:00
f1c66fa6b0
Assertions on approximation of platform types to non-null types
...
- for most expressions (ExpressionCodegen.genQualified)
2014-10-13 15:38:13 +04:00
57bffaf8fa
All JetType subinterfaces migrated to capabilities
2014-10-13 15:38:12 +04:00
013dd7261e
Extensible specificity expressed as a type capability
2014-10-13 15:38:11 +04:00
4b24c96cca
Type capabilities introduced to facilitate extensibility of the type representation
...
This approach: returning adapter objects by class is crucial, because it is delegation-proof.
Simply extending interfaces in particular implementations fails when we wrap types in DelegatedType subclasses
2014-10-13 15:38:11 +04:00
fe2fb60daf
Approximating flexible types in descriptor renderer
2014-10-13 15:38:07 +04:00
40932f84c8
isFlexible() turned into a method in JetType
...
Otherwise delegated types were never recognized as flexible
2014-10-13 15:38:07 +04:00
91b0b83ec3
Java declaration annotations are treated as type annotations
...
This is needed, for example, to approximate flexible types correctly when rendering them in the code
2014-10-13 15:38:06 +04:00
1dbfe5483a
Fix isNullableType() to always consider flexible types, even if they contain type parameters
2014-10-13 15:38:01 +04:00
12d18533e8
Recursion depth in CommonSupertypes is bounded by maxDepth + 3
2014-10-13 15:37:59 +04:00
364a7a6574
Do not overuse makeNullableAsSpecified in TypeSubstitutor
2014-10-13 15:37:59 +04:00
920769d36d
Fold standard flexible types in shortNames mode
2014-10-13 15:37:58 +04:00
220c360081
Null-aware types introduced
...
Flexible types should drive their own conversions to nullable/not-null
2014-10-13 15:37:58 +04:00
969beb7898
Account for substitutions of one variable for another (it must remain a variable)
2014-10-13 15:37:57 +04:00
bdbd469aad
Do not wrap flexible types into Nullable/NotNull types
2014-10-13 15:37:57 +04:00
141e731f39
Constraint Foo on T! should be turned into Foo! on T
2014-10-13 15:37:56 +04:00
6cb1d2e3f7
Lower bound must be a subtype of the upper bound.
...
The change in CommonSupertypes:
We used to say that commonSupertype(Inv<A>, Inv<B>) = Inv<in Intersect(A, B)). This is counter-intuitive, should be Inv<out commonSupertype(A, B)>
2014-10-13 15:37:56 +04:00
e232697da1
CommonSupertypes support for flexible types
2014-10-13 15:37:55 +04:00
583694a450
Flexible types for primitive arrays
2014-10-13 15:37:54 +04:00
c3c72fc528
Switching off propagation of types and KotlinSignatures for platform types
2014-10-13 15:37:53 +04:00
fefadaa171
Rendering platform type for java.util.Map.Entry as kotlin.(Mutable)Map.(Mutable)Entry
2014-10-13 15:37:53 +04:00
dd2e95b3bc
Substitution implemented for flexible occurrences of Java type parameters
2014-10-13 15:37:52 +04:00
bf53222bd9
Flexible types in SAM conversions
2014-10-13 15:37:51 +04:00
2529bb24d1
Don't create flexible types for ".class" expressions in annotation arguments
2014-10-13 15:37:51 +04:00
c699fa96d9
Make not-null compile-time constants non-flexible
2014-10-13 15:37:51 +04:00
867956729b
Don't create platform types for annotation members
2014-10-13 15:37:50 +04:00
bdf7e924b5
Rendering flexible types with "!" and optional parts
2014-10-13 15:37:50 +04:00
549df3c0eb
Equality for flexible types
2014-10-13 15:37:48 +04:00
b665a1998b
Supertypes should not be flexible
2014-10-13 15:37:47 +04:00
195274370f
Fix the case of safe call and elvis operators: flexible types may be nullable
2014-10-13 15:37:46 +04:00
45c1fa3741
Support flexible types in DataFlowValues
2014-10-13 15:37:46 +04:00
f7de0e274c
TypeSubstitutor respects flexible types
2014-10-13 15:37:45 +04:00
f11095b1d0
Minor. DelegatingFlexibleType moved to top level
2014-10-13 15:37:45 +04:00
687fdce30a
Support flexible types in TypeCheckingProcedure
2014-10-13 15:37:44 +04:00
6c50e1b237
Render flexible types in debug mode
2014-10-13 15:37:43 +04:00
e268e74fa3
Flexible types added to JDR
...
So far they act exactly like inflexible ones
2014-10-13 15:37:42 +04:00
ad8de070fa
A flag in the JDR to govern usage of platform types
2014-10-13 15:37:42 +04:00
Andrey Breslav