Evgeny Gerashchenko
d32d2c0bda
Reformatted Ant task code according to coding conventions.
2012-07-23 17:38:16 +04:00
Evgeny Gerashchenko
ae92d435d6
Removed checking for DELEGATE_KEY in ClsClassImpl, since alt-headers are not loaded anymore.
2012-07-23 17:38:16 +04:00
Evgeny Gerashchenko
b26dd5d7c3
Reverted accidentally commited files.
2012-07-23 17:36:07 +04:00
Evgeny Gerashchenko
fb8d5d3903
Putting kotlin-jdk-annotations.jar into lib directory instead of lib/alt.
2012-07-23 17:24:05 +04:00
Andrey Breslav
46737dfb11
Don't create constructors for traits
2012-07-23 16:41:23 +04:00
Andrey Breslav
df14462497
Trace record guarded for enums' class objects
2012-07-23 15:58:47 +04:00
Andrey Breslav
ab283184a9
Debug name for DESCRIPTOR_TO_DECLARATION fixed
2012-07-23 15:27:32 +04:00
Andrey Breslav
ea7e7f01fb
Qualified "this" supported by lazy resolve:
...
- Appropriate scope methods implemented
- Class declarations recorded in the binding trace
2012-07-23 13:43:35 +04:00
Andrey Breslav
1500b1783d
Clarifying messages
2012-07-23 13:42:37 +04:00
Evgeny Gerashchenko
5858726c65
Added editor error strip when Kotlin JDK annotations are not set.
2012-07-22 22:13:12 +04:00
Evgeny Gerashchenko
c2024b68e6
Minor changes.
2012-07-22 22:11:45 +04:00
Evgeny Gerashchenko
1d2e80b157
Introduced PathUtil.JDK_ANNOTATIONS_JAR constant
2012-07-22 20:11:03 +04:00
Evgeny Gerashchenko
01834371ee
Minor. Changed capitalization.
2012-07-22 20:03:44 +04:00
Evgeny Gerashchenko
5d8f3b95e3
Using correct logger id.
2012-07-22 19:54:40 +04:00
Evgeny Gerashchenko
03f38ef52a
KT-2300 Auto-insertion of parenthesis by completion is not good for functions like "filter"
...
#KT-2300 fixed
2012-07-21 23:31:26 +04:00
Evgeny Gerashchenko
7c95c0a617
KT-2333 highlight class fields as method param default value
...
#KT-2333 fixed
2012-07-21 21:08:29 +04:00
Evgeny Gerashchenko
a9564e7580
KT-2414 for (x in 0 downto 0) makes no steps
...
#KT-2414 fixed
2012-07-21 20:34:25 +04:00
Svetlana Isakova
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
Alexander Udalov
0c0232f42b
Senseless null in when (KT-2457 frontend part)
2012-07-20 19:51:48 +04:00
Svetlana Isakova
1cc54d178c
regenerated tests
2012-07-20 19:47:16 +04:00
Svetlana Isakova
ee285f5c54
added Comparable to 'isForceReal' function
2012-07-20 19:46:55 +04:00
Svetlana Isakova
f3dce9a723
error place changed
2012-07-20 19:45:59 +04:00
Svetlana Isakova
6f8f151db5
added java.lang.Comparable to JavaTypeTransformer
2012-07-20 19:34:55 +04:00
Svetlana Isakova
084566aac4
classDescriptorMap used instead of classTypeMap
...
in JavaTypeTransformer
so 'getKotlinAnalog' now is used instead of 'unwrapPrimitive'
classTypeMap removed,
=> removed now unnecessary numberType, throwableType, etc. from JetStandardLibrary
2012-07-20 19:34:55 +04:00
Svetlana Isakova
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
Svetlana Isakova
a54b162e36
map changed to function
2012-07-20 19:34:54 +04:00
Svetlana Isakova
d2c65b8529
rename
2012-07-20 19:34:54 +04:00
Svetlana Isakova
b161b6bfbf
added error TYPE_INFERENCE_EXPECTED_TYPE_MISMATCH
2012-07-20 19:34:54 +04:00
Svetlana Isakova
17c16d8bfc
optimize imports
2012-07-20 19:34:54 +04:00
Svetlana Isakova
5edfc6e2eb
'reportTypeInferenceFailed' moved to tracing
2012-07-20 19:34:54 +04:00
Svetlana Isakova
3f37fe49a8
no @Nullable tracing in parameters
2012-07-20 19:34:54 +04:00
Svetlana Isakova
4ca18b2fb6
rename
2012-07-20 19:34:54 +04:00
Svetlana Isakova
bd40ce18ff
added class ValueArgumentsCheckingResult
...
instead of null for List<JetType> in arguments
2012-07-20 19:34:54 +04:00
Svetlana Isakova
b567700545
added 'getCurrentSubstitutor' to ConstraintSystem
...
which returns DON_CARE type projection for unknown type parameters
2012-07-20 19:34:54 +04:00
Svetlana Isakova
e3d2b013da
added tests for specific type inference errors
2012-07-20 19:34:54 +04:00
Svetlana Isakova
4d281a40c8
removed method hasContradiction() from ConstraintSystem interface
...
rename
2012-07-20 19:34:54 +04:00
Svetlana Isakova
63ad4dbd17
javadoc for ConstraintSystem added
2012-07-20 19:34:54 +04:00
Svetlana Isakova
cf7d7bfafb
ConstraintKind moved to TypeConstraintsImpl
2012-07-20 19:34:54 +04:00
Svetlana Isakova
5c1a8a66a0
check for the same type constructors
...
otherwise type constructor mismatch error
(instead of checking for subclasses)
2012-07-20 19:34:54 +04:00
Svetlana Isakova
e2daefb1f3
added special method to replace type variables in constraint system
2012-07-20 19:34:54 +04:00
Svetlana Isakova
fd04717ecc
added 'hasErrorInConstrainingTypes'
...
not to report type inference error in such cases
2012-07-20 19:34:54 +04:00
Svetlana Isakova
fb3c80d98c
ConstraintsSystem interface changed
...
hasTypeConstructorMismatchAt(position) instead of getTypeConstructorMismatchConstraintPositions()
2012-07-20 19:34:53 +04:00
Svetlana Isakova
c9fef98b8d
added assert that constraining type doesn't contain type variables
2012-07-20 19:34:53 +04:00
Svetlana Isakova
e7706a022c
after rename subjectType and constraintType were exchanged
2012-07-20 19:34:53 +04:00
Svetlana Isakova
1632ec07cd
moved 'checkBoundsAreSatisfied' to ConstraintsUtil
2012-07-20 19:34:53 +04:00
Svetlana Isakova
ab0bc60fbd
getValue, getValues methods moved to ConstraintsUtil
2012-07-20 19:34:53 +04:00
Svetlana Isakova
5e58b97f74
type constraints rollback
2012-07-20 19:34:53 +04:00
Svetlana Isakova
622e01b87b
rename
2012-07-20 19:34:53 +04:00
Svetlana Isakova
3933af9964
fixes after merge
2012-07-20 19:34:53 +04:00
Svetlana Isakova
b650356376
rename + extract methods
2012-07-20 19:34:53 +04:00