Evgeny Gerashchenko
2a0d81a6fe
Introduced package view and fragment classes.
2013-12-17 19:18:31 +04:00
Evgeny Gerashchenko
62c542341a
Renamed NamespaceComparator → RecursiveDescriptorComparator.
2013-12-17 19:18:31 +04:00
Evgeny Gerashchenko
1b28fb50b9
Removed useless method.
2013-12-17 19:18:31 +04:00
Svetlana Isakova
26f66eaea5
fixed INACCESSIBLE_OUTER_CLASS_EXPRESSION check
...
for extension lambda (with implicit this) in nested class
2013-12-17 19:04:41 +04:00
Svetlana Isakova
400e6d3f44
KT-4310 Check for definite returns
...
#KT-4310 Fixed
2013-12-17 19:04:40 +04:00
Natalia Ukhorskaya
31ad4f8451
Annotation parameter must be constant
2013-12-17 15:41:24 +04:00
Natalia Ukhorskaya
7a9d822070
'As' function for constants
2013-12-17 15:00:30 +04:00
Natalia Ukhorskaya
dbaaa80918
Add i2b cast boxing Int to Byte? or Short? (fix android tests)
2013-12-16 20:54:10 +04:00
Natalia Ukhorskaya
66effee8cd
Fix safe call
2013-12-16 20:54:09 +04:00
Natalia Ukhorskaya
4ef1af7d12
Cast unary intrinsics to expected type
2013-12-16 17:12:40 +04:00
Svetlana Isakova
4c41d19eb1
interpret class in class object as static nested class
...
removed hack in TaskPrioritizer for import class from class object
2013-12-16 16:24:21 +04:00
Svetlana Isakova
928f77ffce
set explicit receiver kind properly for calls
2013-12-16 16:24:21 +04:00
Alexander Udalov
0576851102
Fix codegen for closures returning 'Unit?'
...
Only do a checkcast when we need to coerce Object to Unit: the code was
hopefully type-checked so that it'll only be necessary when the value is either
Unit.VALUE or null
2013-12-12 21:38:20 +04:00
Alexander Udalov
9e5c68a8f9
Fix KotlinBuiltIns.isUnit
...
It didn't check type's nullability
2013-12-12 21:38:20 +04:00
Alexey Sedunov
6913f42a97
Add support of light classes for local class/object declarations
2013-12-12 17:30:52 +04:00
Natalia Ukhorskaya
69ed9bc47a
Do not cast arguments of binary operation to expected type for byte and short
2013-12-12 17:11:42 +04:00
Svetlana Isakova
cc3f450132
added test for obsolete task
...
#KT-2336 Fixed
2013-12-11 19:53:52 +04:00
Svetlana Isakova
4d39dc38da
fixed: smart cast of boolean variable didn't work in boolean expression
2013-12-11 19:53:52 +04:00
Svetlana Isakova
cd6934bee8
fixed bug in 'DataFlowInfo.getPossibleTypes'
...
parent types should be enriched as well
2013-12-11 19:53:51 +04:00
Svetlana Isakova
4a26c9df04
don't report autocast on left expression in equality
...
if it was checked for not-null beforehand
2013-12-11 19:53:51 +04:00
Svetlana Isakova
4b89c22ba7
Check separately auto casts for nullable types.
...
It's necessary for functions with generics: constraint system ignores nullability divergence,
the error checks are made afterwards, the auto cast check should be made similarly.
2013-12-11 19:53:51 +04:00
Svetlana Isakova
ab1d27dd6b
don't use data flow info while checking for receiver
...
receiver with smart cast is checked separately
2013-12-11 19:53:50 +04:00
Svetlana Isakova
46b77f4472
don't report unnecessary smart cast on receiver
2013-12-11 19:53:50 +04:00
Alexander Udalov
00da5fe1fb
Fix VerifyError for 'when' of type 'Unit?'
2013-12-11 07:40:19 +04:00
Alexander Udalov
0d9c126485
Add regression test for KT-3634
...
#KT-3634 Obsolete
2013-12-11 07:40:19 +04:00
Evgeny Gerashchenko
20542d94c1
Added extra output for tests if they fail. Muted test on "bad" agents.
2013-12-09 19:04:20 +04:00
Alexander Udalov
ee554d2e2f
Unwrap fake override of original
...
This fixes a couple of verify errors related to the order of supertypes in the
class declaration
2013-12-09 17:59:58 +04:00
Alexander Udalov
6276dd1483
Return Unit.VALUE if Unit or Any is expected
...
StackValue.coerce will do its job in casting void to Unit correctly
#KT-4212 Fixed
2013-12-09 17:57:59 +04:00
Alexander Udalov
f19ede0637
Don't treat values of type "Unit?" to be always equal to Unit.VALUE
...
Two changes here: StackValue.Constant does cast iff value is non-null (if null,
no cast between classes is really needed, as null can be an instance of
anything), and codegen for safe qualified expressions uses correct type for the
expression
#KT-4265 Fixed
2013-12-09 15:52:19 +04:00
Svetlana Isakova
4c4e192914
Fixed: control flow graph building for array of functions.
...
'get' call for array should be get from INDEXED_LVALUE_GET
2013-12-06 15:58:45 +04:00
Andrey Breslav
71be3bcec5
All tests for TCO moved to box (with diagnostics marked up)
2013-12-06 11:29:28 +04:00
Andrey Breslav
97319808b6
Detecting tail calls through CFA
2013-12-06 00:28:12 +04:00
Andrey Breslav
0316e6cb8d
Indirect tests for tail call diagnostics removed
2013-12-06 00:28:10 +04:00
Andrey Breslav
94500bd968
Use codegen box tests for tail calls as diagnostic tests too
2013-12-06 00:28:04 +04:00
Andrey Breslav
bb6ceffbbb
Missing tests added
2013-12-06 00:27:31 +04:00
Andrey Breslav
c70a54306f
Rename directory for back-end tests
2013-12-05 23:53:08 +04:00
Andrey Breslav
fe00b03279
Rename directory for diagnostic tests
2013-12-05 23:53:07 +04:00
Sergey Mashkov
fb0ec573e0
Tests for JVM back-end support of tail-call optimization
2013-12-05 23:53:07 +04:00
Sergey Mashkov
1c81102941
Tail-call detection support in the front-end
2013-12-05 23:53:05 +04:00
Svetlana Isakova
8e27877817
check definite return in local functions
2013-12-05 15:51:57 +04:00
Natalia Ukhorskaya
27e602133d
Small fixes after review: do not set is_pure=true for named constants refactoring
2013-12-05 15:23:41 +04:00
Natalia Ukhorskaya
155cbbfc02
Add evaluator for java property initializer
2013-12-05 15:23:40 +04:00
Natalia Ukhorskaya
e5a3518248
Parse longs with 'L' suffix. Report error if 'l' used.
2013-12-05 15:23:40 +04:00
Natalia Ukhorskaya
b6ce6c5e5a
Parse floats with 'F' or 'f' suffix
2013-12-05 15:22:01 +04:00
Natalia Ukhorskaya
e805478d6c
Get call expression type from compile time value if possible
2013-12-05 15:22:00 +04:00
Natalia Ukhorskaya
17152c39e0
Tear down for test
2013-12-05 15:21:59 +04:00
Natalia Ukhorskaya
53a5264aaf
Use type from compile time value for binary expression
2013-12-05 15:21:58 +04:00
Natalia Ukhorskaya
cbcca6c08e
Support IntegerValueTypeConstant in java backend
2013-12-05 15:21:57 +04:00
Natalia Ukhorskaya
2a023c16a9
Use type from compile time value for prefix expression
2013-12-05 15:21:55 +04:00
Natalia Ukhorskaya
9c176ddaa8
Warning for integer overflow
2013-12-05 15:21:55 +04:00