5bb226627f
Internal compiler errors are reported as warnings, and individually namespace-by-namespace. To make it easier to work even in the presence of some bug-triggering code in the current project
2011-11-12 18:13:11 +04:00
3193b7d2c4
fix incorrect overload error on regular function and extension function with same name
...
===
fun ff() = 1
fun Int.ff() = 1
===
2011-11-12 16:54:33 +04:00
50c7364f6b
fix unnecessary wrong overload in test
2011-11-12 16:54:27 +04:00
594ab01b1f
fix incorrect overload error in different namespaces with same suffix
...
===
namespace a {
fun f() = 1
}
namespace b {
namespace a {
fun f() = 1
}
}
===
2011-11-12 16:05:16 +04:00
f18510652e
opt out Java -> Kotlin resolve due to unsolved SOE problems
2011-11-11 22:03:01 +04:00
c5daa97cef
stack overflow
2011-11-11 21:35:24 +04:00
68e013a752
unlucky merge, sorry
2011-11-11 21:06:29 +04:00
30d90371dc
Fixing Java puzzlers
2011-11-11 20:57:53 +03:00
66c1f56892
merge commit
2011-11-11 20:14:29 +04:00
627a1dbf6f
Resolve Kotlin from Java, first drop.
2011-11-11 20:02:36 +04:00
aa02dcd0e7
Merge remote branch 'origin/master'
2011-11-11 15:54:16 +03:00
421d27e448
PROPERTY_ACCESSOR included into DECLARATIONS_TO_DESCRIPTORS
2011-11-11 15:54:05 +03:00
3bfd7955a0
KT-352 Function variable declaration type isn't checked inside a function body
2011-11-11 01:00:40 +04:00
4a87566fa2
KT-442 Type inference fails on with()
2011-11-10 23:19:10 +03:00
2c0ac86973
Merge remote-tracking branch 'origin/master'
2011-11-10 22:13:57 +04:00
e001c6e306
Unified processing in TopDownAnalyzer to avoid inconsistencies
2011-11-10 21:52:14 +03:00
4224e00cbd
Most of the tests fixed
2011-11-10 21:33:46 +03:00
25d26fe6fd
KT-235 Illegal assignment return type
2011-11-10 22:13:52 +04:00
586f4c34b2
Merge remote branch 'origin/master'
2011-11-10 20:55:18 +03:00
839d986f44
KT-385 type inference does not work properly
...
KT-109 Good code is red: type arguments are not inferred
KT-441 Exception in type inference when multiple overloads accepting an integer literal are accessible
2011-11-10 20:55:12 +03:00
1e3f2889a4
KT-336 Can't infer type parameter for ArrayList in a generic function (Exception in type inference)
...
KT-335 Type inference fails on Collections.sort
2011-11-10 19:44:59 +03:00
a4b62868fa
KT-424 also check overloads in namespaces
2011-11-10 20:00:34 +04:00
31b049893f
fix wrong test (unnecessary overload)
2011-11-10 20:00:26 +04:00
d155de2bdc
better diagnostics for KT-424
...
highlight full function definition, not only function name
2011-11-10 20:00:19 +04:00
5218246d80
KT-424: Check declarations for overload-compatibility
...
===
fun a() {}
fun a() {}
===
must be an error.
2011-11-10 20:00:15 +04:00
89b4faa6fe
started work on "unused value" analysis
2011-11-10 19:42:53 +04:00
5fbf684998
continue work on KT-458
...
70b7810c30
2011-11-10 19:07:51 +04:00
70b7810c30
KT-458 Need to improve quoted identifiers support
...
class `$$$`
should not fail
2011-11-10 16:50:23 +04:00
ea9b67c5cd
regenerate grammar
2011-11-10 16:27:25 +04:00
44b631cdd0
enhancements in character constant parsing
...
* missing assertion converted to ErrorValue
* added test for 'a
* '\' must be error (KT-461)
2011-11-10 16:16:31 +04:00
dda5759643
More tests for KT-451 Incorrect character literals cause assertion failures
2011-11-10 15:42:14 +03:00
c8e2e06d59
missing test for KT-451 incorrect character liternals assertion error
2011-11-10 15:13:08 +04:00
763be2af9e
fix comment: it is not automatically generated
2011-11-10 15:09:11 +04:00
cd2dab3e53
KT-451 Incorrect character literals cause assertion failures
...
''
'21'
2011-11-10 15:05:07 +04:00
c03a256353
Merge remote branch 'origin/master'
2011-11-10 14:51:54 +03:00
2c2c6ea099
Clarifying comments added
2011-11-10 14:51:41 +03:00
7ef0debbc7
Merge remote-tracking branch 'origin/master'
2011-11-10 14:00:40 +04:00
1b8e5a4a11
Added return type check for non-local return (despite it is prohibited yet)
2011-11-10 14:00:32 +04:00
abec6933cf
KT-499 allow class object in static inner classes
...
like this:
===
class A {
class object {
class B {
class object { }
}
}
}
===
2011-11-10 12:59:29 +04:00
a28716af1d
Constant propagation guarded by the class jet.Number where the properties are defined.
...
NOTE: currently, local extension properties are not allowed, but they may be allowed in future versions, and the old propagation would break
2011-11-09 22:29:48 +03:00
c6f6f182b6
KT-353 Generic type argument inference sometimes doesn't work
...
KT-459 Type argument inference fails when class names are fully qualified
2011-11-09 22:15:37 +03:00
8ab1f1b420
KT-287 Infer constructor type arguments
...
More test data
2011-11-09 21:51:01 +03:00
0c492ae0eb
KT-287 Infer constructor type arguments
2011-11-09 21:48:36 +03:00
a24e448973
Simplistic type inference:
...
KT-258 Support equality constraints in type inference
KT-399 Type argument inference not implemented for CALL_EXPRESSION
2011-11-09 19:52:05 +03:00
787d3aa450
New type checking algorithm is used for subtyping constraint generation
2011-11-09 18:54:23 +03:00
d4ea1d42c8
CommonSupertypes factored out
...
equalTypes() moved to TypeUtils
Lower bounds (stub implementation) introduced to type parameters
2011-11-09 16:56:05 +03:00
0a2ad80234
Unused parameter removed
2011-11-09 16:53:33 +03:00
0356bd98ec
KT-411 Wrong type expected when returning from a function literal
2011-11-09 16:43:29 +04:00
099725da7f
KT-449 class object in inner class must be an error
...
===
class A {
class B {
class object { }
}
}
===
2011-11-09 16:26:12 +04:00
a6898c7c64
simplify KT-249
...
for KT-449
2011-11-09 16:26:12 +04:00
Andrey Breslav