f25f59bb6e
Solve the constraint system for alpha-converted variables,
...
store initial and backward conversions for
substituting new constraints and the result
2015-07-10 15:05:08 +03:00
4bdf598bfe
compiler testdata: s/trait/interface
2015-05-12 19:43:17 +02:00
9975bb8935
replace 'trait' keyword with 'interface' in user-visible messages and code generation tools
2015-05-12 11:49:37 +02:00
f374eec8f1
deprecating types after colon
2015-04-29 16:33:24 +02:00
d40fd440b0
KT-7433 Type inference pushes Unit inside generic function with lower bound constraint
...
#KT-7433 Fixed
#KT-7351 Fixed
2015-04-16 21:02:42 +03:00
897854b3dc
KT-6671 Report unused constructor parameters
...
#KT-6671 fixed
2015-01-27 22:38:27 +03:00
6489ff2cb6
Ignore constraint from implicit 'in Nothing'
...
From Array<T> <: Array<out Int> we may generate T >: Nothing (implicit) and T <: Int (explicit).
Without ignoring we'll infer 'Nothing' for T too often
2014-12-22 12:04:42 +03:00
f9d4a68c6e
KT-6320 AssertionError in ConstraintSystem(The constraint shouldn't contain different type variables on both sides: Y <: X)
...
#KT-6320 Fixed
2014-12-12 23:08:27 +03:00
0eee83b6ec
Lazy logs removed
2014-11-21 18:59:45 +03:00
2a83053355
Updated lazy log tests
2014-11-21 14:02:45 +03:00
b7c473f59e
Update lazy.log files
2014-11-17 17:45:01 +03:00
128c938965
Make Array.size() a function instead of a property
...
Also add a deprecated extension property to help migration. This is done to
unify getting size of arrays and collections
2014-11-17 15:02:38 +03:00
4f0d83a7fe
Update lazy logs after field rename
2014-11-11 18:35:39 +03:00
4892369cf4
Diagnostic tests are logging their lazy activity
2014-11-10 17:24:04 +02:00
0e42de4e99
CHECK_TYPES injected through imports
2014-10-22 00:41:19 +04:00
3a8ad45dec
Append newline to EOF for .txt test data files
...
Reverts and fixes 102f0d3
2014-10-21 03:18:27 +04:00
e796f88b38
Regenerate test data with constructed descriptors for diagnostics tests
2014-09-18 17:58:23 +04:00
dd6940be41
added CHECK_TYPE directive to diagnostic tests
2013-12-19 13:01:05 +04:00
d11311ec20
Test compilation fix
2013-12-02 18:30:42 +04:00
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
9a0ec7949e
fixed bug in constraint system
...
For parameter type T constraint T? <: Int? should NOT transform to T <: Int, it should be T <: Int?
equality constraint T? = Int? should transform to T <: Int? && T >: Int
2013-10-16 19:51:52 +04:00
Svetlana Isakova