ea611cb51d
check modifiers for local declarations
2012-08-22 20:42:35 +04:00
b7966f4512
test fixed
2012-08-22 13:41:27 +04:00
5779ac15c0
Not get supertypes of Nothing
...
(exception EA-37833)
2012-08-22 12:35:06 +04:00
2c4960b4fb
Test for abstract function in java enum.
2012-08-21 21:40:51 +04:00
6920e497d5
JetDiagnosticsTest for using java enum in kotlin.
2012-08-21 21:40:47 +04:00
5b77210c95
KT-2632 Check multi-declaraions in for-loops
...
#KT-2632 Fixed
2012-08-21 19:49:26 +04:00
8860bab9f1
KT-2643 Support multi-declarations in Data-Flow analysis
...
#KT-2643 fixed
2012-08-20 18:48:09 +04:00
f817eba7aa
removed check for 'hasNext' val in frontend
2012-08-20 16:05:16 +04:00
ecd1c17e47
Report type mismatch for component functions
2012-08-17 22:04:35 +04:00
306c27a9bb
Report error on local variables having no initializer and no type annotation
2012-08-17 22:04:35 +04:00
2dc6691c1a
DataFlowInfo taken into account when resolving component functions
2012-08-17 22:04:35 +04:00
b44c6f2d6e
Tests for redeclarations with multi-decls
2012-08-17 22:04:35 +04:00
409e474748
Component functions are indexed 1-based
2012-08-17 22:04:35 +04:00
a0da232ed3
KT-2631 Check multiple assignment - in progress
...
check multiple declaration without specified type annotation
2012-08-17 22:04:34 +04:00
ffc256f805
test for obsolete task
...
#KT-1358 fixed
2012-08-17 15:10:34 +04:00
d2e33c8900
tests for obsolete/fixed issues
...
#KT-1038 fixed
#KT-1127 fixed
#KT-1145 fixed
#KT-1410 fixed
#KT-1718 fixed
#KT-2286 fixed
#KT-1431 fixed
#KT-2394 fixed
2012-08-16 18:39:24 +04:00
df93a26839
use kotlin Iterable/Iterator
...
instead of java Iterable/Iterator
in Kotlin code in tests
2012-08-16 18:39:23 +04:00
e1281953e7
tests changed
...
val hasNext -> fun hasNext()
2012-08-16 18:39:23 +04:00
65ddcd0473
No repeat 'many impl member not implemented' error
...
in a subclass if there is one in a superclass
2012-08-16 18:39:23 +04:00
6e67bd64fa
test for KT-2407
...
#KT-2407 fixed
2012-08-16 18:39:22 +04:00
ee5f598836
Wrong test data fixed (previously commited by mistake)
2012-08-15 18:11:47 +04:00
00305ba920
Fixing interdependency between delegation and fake overrides
...
Main changes sit in OverrideResolver::generateOverridesAndDelegationInAClass()
Now fake overrides AND delegation are generated for supertypes before any processing is done for subclasses.
2012-08-15 16:15:04 +04:00
5947759684
proper compilation of enums
2012-08-13 22:37:27 +03:00
70c5a5ba9e
KT-2505 Type mismatch: inferred type is T but T was expected
...
#KT-2505
2012-08-07 18:09:02 +04:00
9102622e02
more tests on type inference
...
#KT-2200 fixed
#KT-2283 fixed
2012-08-07 18:09:02 +04:00
4b77e9b83a
tests for obsolete tasks
...
#KT-2445 fixed
#KT-2459 fixed
2012-08-06 18:18:27 +04:00
f730c1357c
KT-2484 Type inferred for function literal is (...) -> Int instead of (...) -> Unit, when function literal parameter is explicit
...
#KT-2484 fixed
2012-08-06 18:18:26 +04:00
679a678e7c
choose the most specific candidate after type inference
2012-08-06 18:18:26 +04:00
b24509577c
added issue names in tests
2012-08-06 18:18:26 +04:00
036ce3c2e1
KT-2514 Type inference fails when using extension function literal
...
(check for bounds when inference is not complete added)
#KT-2514 fixed
2012-08-06 18:18:26 +04:00
492d4da56d
added variance handling to constraint system
2012-08-06 18:18:26 +04:00
b5229b8b3d
tests for type inference tasks added
...
#KT-742 fixed
#KT-832 fixed
#KT-943 fixed
2012-08-01 17:03:53 +04:00
6d9529e826
KT-948 Make type inference work with sure()/!!
...
!! part fixed
2012-08-01 17:03:52 +04:00
4e0a9f2af6
type inference errors improvement
...
if constraint system without expected type was successful,
expected type mismatch error should be generated (instead of conflicting substitutions error)
#KT-731 fixed
2012-08-01 17:03:52 +04:00
077f0084bd
test for kt-702 added
...
#KT-702 fixed
2012-08-01 17:03:52 +04:00
fa1c471d92
Partial fix for KT-470: Remove duplicating errors on the same element.
...
Redeclarations for top-level properties still get two REDECLARATION diagnostics. (In overload resolver and declaration resolver)
Also added test for redeclaring extension properties.
Also remove useless null check.
2012-07-26 13:11:38 +04:00
cd1ca92f74
KT-53: Allow generic parameter passing for properties.
...
Obsolete issue.
#KT-53 Fixed
2012-07-25 14:48:40 +04:00
fd78340897
KT-310: Tell the user when something is a property and not a function.
...
#KT-310 Fixed
2012-07-25 14:00:03 +04:00
22af8f7296
KT-304: Resolve supertype reference to class anyway.
...
#KT-304 Fixed
2012-07-25 14:00:01 +04:00
29bc36b69c
Merge pull request #109 from udalov/kt2438
...
KT-2438 Prohibit inner classes with the same name
2012-07-24 07:51:35 -07:00
4712dd759c
KT-2438 Prohibit inner classes with the same name
...
Rewrite checkClassObjectInnerClassNames() to also
check for name clashes between inner classes of a
single class
#KT-2438 Fixed
2012-07-24 16:25:17 +04:00
b216bbb844
KT-619 Type inference fails
...
#KT-619 Fixed
2012-07-24 15:53:39 +04:00
46737dfb11
Don't create constructors for traits
2012-07-23 16:41:23 +04:00
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
0c0232f42b
Senseless null in when (KT-2457 frontend part)
2012-07-20 19:51:48 +04:00
6f8f151db5
added java.lang.Comparable to JavaTypeTransformer
2012-07-20 19:34:55 +04:00
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
b161b6bfbf
added error TYPE_INFERENCE_EXPECTED_TYPE_MISMATCH
2012-07-20 19:34:54 +04:00
5edfc6e2eb
'reportTypeInferenceFailed' moved to tracing
2012-07-20 19:34:54 +04:00
e3d2b013da
added tests for specific type inference errors
2012-07-20 19:34:54 +04:00
Svetlana Isakova