5ccbce6de6
Got rid of "tuple" word all over the code.
2013-03-22 16:38:25 +04:00
3bd202de84
Allow to call += on a val
2013-03-21 21:21:54 +04:00
79bf174e93
Warning for unused function literal in do..while
2013-03-20 20:50:06 +04:00
df230d36c2
complete nested calls for array set expression correctly
2013-03-20 17:27:45 +04:00
1b1ee18f97
KT-3395 mapOf function can't be used as literal
...
#KT-3395 Fixed
2013-03-19 16:47:22 +04:00
735f06e78f
Added test for KT-334 Can't use java.lang.Comparable by the short name
...
#KT-334 obsolete
2013-03-14 20:49:41 +04:00
fd2d5975e4
Fixed useless hidden import & useless simple import diagnostics when Java class is resolved as both class and namespace.
2013-03-12 20:40:18 +04:00
7b6dfc3470
small fix while choosing maximally specific
...
return success if there is one candidate after filterOverrides step
#KT-1461 fixed
2013-03-11 14:54:16 +04:00
cd56678467
Change ANONYMOUS_INITIALIZER from _WITHOUT_CONSTRUCTOR to _IN_TRAIT
...
"since we made all classes have constructors some time ago", this error
doesn't even trigger on a class such as:
class testClass { {} }
It does trigger on a trait:
trait testTrait { {} }
Therefore, the error message should be changed to reflect the new
behavior.
However, an actual quickfix for this will be more involved. It is not a
good idea to simply delete the initializer, since it could contain
valuable code that the user wants to keep.
2013-03-08 02:11:58 -05:00
d7412ecd9f
fixed test data
...
type mismatch with nothing (after change in ConstraintSystemImpl)
render 'CANT_INFER' type as '???'
2013-03-07 13:11:21 +04:00
1d55e359a5
complete type inference(*) for variable as function call as well
...
* dependent on expected type
+ get rid of instanceof ResolvedCallImpl check
2013-03-07 13:11:21 +04:00
0530df6f7b
use TypeCheckingProcedure for generating constraints
...
(in ConstraintSystemImpl)
2013-03-07 13:11:21 +04:00
75528e0a4a
KT-3378 "Type mismatch on override" not present when the initializer is syntactically incorrect
...
#KT-3378 Fixed
2013-03-06 15:18:37 +04:00
bc59ed75ca
KT-1019 parser should recover from missing parentheses in function declaration
...
#KT-1019 Fixed
2013-02-28 12:00:33 +01:00
8ef067be77
KT-3344 InternalError in compiler when type arguments are not specified
...
#KT-3344 fixed
2013-02-25 18:19:52 +04:00
23ce144f9d
SUPERTYPE_NOT_INITIALIZED_DEFAULT error removed
...
It was merged with SUPERTYPE_NOT_INITIALIZED.
2013-02-21 17:50:52 +01:00
029b2d9770
Test fixes for 'New diagnostic error for ambiguous object expression type'
2013-02-19 17:56:56 +04:00
1662c5cb75
New diagnostic error for ambiguous object expression type
2013-02-19 17:56:55 +04:00
b9e5704057
Updated test data and stdlib sources.
2013-02-13 18:08:37 +04:00
18d6e86e60
KT-3341 Prohibit val/var keywords for catch parameters
...
#KT-3341
2013-02-13 18:08:36 +04:00
b1cb8edd18
KT-3181 Prohibit val/var keywords for function parameters
...
#KT-3181
2013-02-13 18:08:36 +04:00
808dbd160c
KT-3182 Prohibit val/var keywords at for-loop counter.
...
#KT-3182 fixed
2013-02-13 18:08:36 +04:00
109c47645b
Make sure that the class object class is not accessible from Kotlin
2013-02-11 16:20:32 +04:00
9dedc6d2a9
KT-1998 Strange "Overload resolution ambiguity"
...
#KT-1998 Fixed
2013-02-11 16:09:24 +04:00
54ae3afcde
KT-880 Overload resolution ambiguity
...
#KT-880 Fixed
2013-02-11 16:09:23 +04:00
ff4a9fdab3
rename
...
ResolveMode enum to {TOP_LEVEL_CALL, NESTED_CALL}
completeValueArgumentsInference to completeNestedCallsInference
2013-02-08 15:10:43 +04:00
27e6dad307
test improved
2013-02-08 15:10:43 +04:00
db91928984
test fixes after refactorings
...
expected return type for function literal cannot depend on expected type of outer function
2013-02-08 15:10:43 +04:00
d447c90b13
added tests for function literals faster resolve
2013-02-08 15:10:42 +04:00
3eee19578a
complete inference for inner calls after resolve&inference of outer call finishes
...
deferredComputationsForArguments stored in ResolvedCallImpl,
'completeValueArgumentsInference' completes inference for inner calls recursively
2013-02-08 15:10:42 +04:00
ff01fad3cd
substitute upper bounds after creating all substitutions for type parameters
...
(otherwise it doesn't work for forward references)
2013-02-08 15:10:40 +04:00
8f59172f27
use declared upper bounds in type inference (not just check them)
...
- simple cases supported
#KT-2856 fixed
2013-02-08 15:10:39 +04:00
da4f1aec1d
KT-422 Tune literal typing rules so that varargs overloaded by primitive types work
...
#KT-422 fixed
2013-02-08 15:10:39 +04:00
0b4b87fc3a
KT-3307 Compiler exception trying to call Java method
...
#KT-3307 Fixed
2013-02-07 16:44:13 +04:00
41b379497d
revert of 59ede8b
2013-02-06 14:33:19 +04:00
59ede8b979
Test for KT-2763
2013-02-06 14:15:24 +04:00
7716feee71
Fix NPE in JetPsiUtil (EA-43298)
2013-02-04 15:27:30 +04:00
ee227f01b9
Add test for checking ambiguity for root package and the same package
2013-02-04 14:23:21 +04:00
f2e78d9064
Create scope with lazy import resolve
2013-02-04 14:23:21 +04:00
bbde38a6dc
KT-1360 Vararg bug in front-end
2013-01-31 18:54:37 +04:00
2d2c44ca9d
KT-2106 Mixed named and positional arguments should be allowed
...
#KT-2106 Fixed
2013-01-31 15:43:14 +04:00
ba9c455ea1
KT-3301 Inference with several supertypes fails
...
#KT-3301 fixed
2013-01-30 20:29:30 +04:00
65f1a8f430
Added test with number literals passed as constants.
2013-01-28 18:29:21 +04:00
18b5495a8c
KT-1895 Make it possible to pass 1.0 as Float without explicit casting
...
#KT-1895 fixed
2013-01-28 18:29:21 +04:00
a0a22b7be6
Outer's superclass' method is now inaccessible from nested
...
Also the diagnostic error message reported the wrong nested class name: it
should be the nested class in the hierarchy which is static, not the class of
the scope where we're checking the accessibility
2013-01-23 20:18:16 +04:00
e89a8c684f
KT-3159 Disallow overriding var with different type #KT-3159 fixed
2013-01-21 15:42:39 -08:00
2f47e30a1a
Fixed UnsupportedOperationException when a namespace is used in place of an expression.
2013-01-21 13:10:19 +04:00
8dff523858
Add some regression tests for obsolete issues
...
Regenerate tests
2013-01-17 17:38:46 +04:00
192a81591b
Resolve qualified nested class expressions
...
lookupNamespaceType now returns NamespaceType of a scope not only of the
namespace found by name, but also of the classifier static classes scope found
by the same name. This allows correct resolution of expressions
"Class.Nested.member()", where Class comes from Java (previously it was
resolved into a NamespaceDescriptor with a NamespaceType).
NamespaceDescriptor.getNamespaceType() is deleted since there are no sense in
namespace's NamespaceType alone anymore.
Also some minor refactoring (referencedName param is useless)
#KT-1174 In Progress
2013-01-16 23:11:50 +04:00
c4b5577555
Do not report NO_CLASS_OBJECT when namespacesAllowed=true
...
Now with nested classes the expression "A.something" makes sense even when A
doesn't have a class object ("something" could be a nested class)
Also "A" expression now gets a NamespaceType with the scope of all static
nested classes of A
#KT-1174 In Progress
2013-01-16 23:11:50 +04:00
Evgeny Gerashchenko