Simon Ogorodnik
8a2b41c8cb
Fix proguard
2019-04-30 19:28:17 +03:00
Mikhail Glukhikh
5262f0a53f
Fir2Ir: apply major text data update after a bunch of resolve changes
2019-04-30 18:45:57 +03:00
Simon Ogorodnik
3e51cbc9dc
FIR: move test to stdlib group thus fixing it
2019-04-30 18:45:56 +03:00
Simon Ogorodnik
5b929b88e1
[FIR] Allow nullability mismatch in resolve
2019-04-30 18:45:56 +03:00
Simon Ogorodnik
2111e56d2e
FIR: introduce workaround to avoid type-aliases in ConeClassType
2019-04-30 18:45:56 +03:00
Simon Ogorodnik
c06d521e78
FIR: support star projection in CreateFreshTypeVariableSubstitutorStage
...
This commit fixes a small pack of tests failing at this point
2019-04-30 18:45:56 +03:00
Simon Ogorodnik
4bcba000fd
FIR: pass name resolver to annotation deserializer separately
2019-04-30 18:45:56 +03:00
Mikhail Glukhikh
1bb4b32c91
Fir2Ir converter: fix exception on FirUnitExpression
2019-04-30 18:45:56 +03:00
Mikhail Glukhikh
f2ff103ed7
Fir2Ir converter: fix KNPE during use-site scope building for local
2019-04-30 18:45:55 +03:00
Mikhail Glukhikh
8cb16cc06a
FIR provider: support getClassUseSiteMemberScope for type aliases
2019-04-30 18:45:55 +03:00
Mikhail Glukhikh
f457cb099f
FIR deserializer: handle context in more correct way
2019-04-30 18:45:55 +03:00
Mikhail Glukhikh
1e653226ef
FIR deserializer: don't create symbol in advance for class literals
2019-04-30 18:45:55 +03:00
Mikhail Glukhikh
a4b4db5589
FIR resolve: process situation with both implicit receivers properly
2019-04-30 18:45:55 +03:00
victor.petukhov
3636046e2d
[FIR] Add test with potential recursive call in compiler FE on when with sealed class inside it (KT-18583)
2019-04-30 18:45:55 +03:00
Mikhail Glukhikh
d1d6b8b77a
FIR Java: handle primitive arrays in annotations correctly
2019-04-30 18:45:54 +03:00
Mikhail Glukhikh
be18134270
FIR multi-module: minor test data fixes after resolve enhancements
2019-04-30 18:45:54 +03:00
Simon Ogorodnik
77817cb750
Raw FIR: copy class type-parameters into constructors properly
2019-04-30 18:45:54 +03:00
Simon Ogorodnik
9cef9e4056
Remove isMarkedNullable from FirResolvedTypeRef
2019-04-30 18:45:54 +03:00
Simon Ogorodnik
458080ca8b
Raw FIR: create resolved references for desugared temporary variables
2019-04-30 18:45:54 +03:00
Simon Ogorodnik
99994e6c41
FIR: provide super-type as the self-type for anonymous objects
...
This commit is a temporary approximation useful before we have
symbols for local classes & objects
2019-04-30 18:45:54 +03:00
Simon Ogorodnik
2f7ced2a8e
FIR Java: bind overrides properly
2019-04-30 18:45:53 +03:00
Simon Ogorodnik
d19a250cbe
FIR: support proper overriding of generic functions
2019-04-30 18:45:53 +03:00
Simon Ogorodnik
7b9f5293da
FIR: resolve primary constructor parameters in initializers context
2019-04-30 18:45:53 +03:00
Simon Ogorodnik
fa4ba82350
FIR: provide classifiers via class use-site scope
2019-04-30 18:45:53 +03:00
Simon Ogorodnik
f99f06831c
FIR resolve: support typing for get class
2019-04-30 18:45:53 +03:00
Simon Ogorodnik
00ccea220e
Raw FIR: allow implicit type of value parameter (helpful for lambda)
2019-04-30 18:45:53 +03:00
Simon Ogorodnik
9169071d60
FIR resolve: introduce draft version of the visibility checker
2019-04-30 18:45:52 +03:00
Simon Ogorodnik
adf845b2fd
FIR: provide resolved super-type as the type of enum entry reference
2019-04-30 18:45:52 +03:00
Simon Ogorodnik
8e200d8113
Filter out self output directory from classpath in FIR modularized test
2019-04-30 18:45:52 +03:00
Simon Ogorodnik
e521e66c74
FIR deserializer: provide proper type for enum entries
2019-04-30 18:45:52 +03:00
Simon Ogorodnik
ca350e64c2
FIR deserializer: add proper container class id to nested class members
2019-04-30 18:45:52 +03:00
Simon Ogorodnik
daf9f927d4
FIR: add property case to companion test
2019-04-30 18:45:52 +03:00
Simon Ogorodnik
e41a79fbe9
Unify building references to symbols in html fir dump
2019-04-30 18:45:51 +03:00
Simon Ogorodnik
0c0f45791b
Anchors instead of refs on declaration site in html fir dump
2019-04-30 18:45:51 +03:00
Simon Ogorodnik
d28bb5bc70
Render value-parameter modifiers in html fir dump
2019-04-30 18:45:51 +03:00
Simon Ogorodnik
efbf096879
Support ::class in html fir dump
2019-04-30 18:45:51 +03:00
Simon Ogorodnik
cb19a586f4
Fold nullability flexible types in html fir dump
2019-04-30 18:45:51 +03:00
Simon Ogorodnik
3e69838f48
FIR Java: map classes to make java type-parameters have correct bounds
...
Really, this commit implements early J2K mapping for all Java types.
It's questionable and probably wrong at least for super-types,
because, for example, we cannot resolve spliterator() in classes
derived from java.lang.Iterable
2019-04-30 18:45:51 +03:00
Simon Ogorodnik
cb91c6b977
Add abbreviated types rendering to html fir dump
2019-04-30 18:45:50 +03:00
Simon Ogorodnik
6a0e3371ae
FIR: resolve conflicts on multiple inheritance of fun with same signature
2019-04-30 18:45:50 +03:00
Simon Ogorodnik
84fbf4ec25
Partially cache scopes in FIR body resolve transformer
2019-04-30 18:45:50 +03:00
Simon Ogorodnik
861ea6a30f
Provide hashCode and equals for lookup tag based types
2019-04-30 18:45:50 +03:00
Simon Ogorodnik
ce0b482413
FIR resolve: add work-around to support enum entries
2019-04-30 18:45:50 +03:00
Simon Ogorodnik
d22eab680e
FIR: provide nested classes and objects via declared member scope
2019-04-30 18:45:50 +03:00
Simon Ogorodnik
ee73d21d32
Expand type-aliases in cone (FIR) type context
2019-04-30 18:45:49 +03:00
Simon Ogorodnik
6f9f9fc087
FIR types: relax requirements around flexible types
2019-04-30 18:45:49 +03:00
Simon Ogorodnik
0ae2f992fa
Raw FIR: provide receiver to ++, -- operators
2019-04-30 18:45:49 +03:00
Simon Ogorodnik
dc4ccf8d23
FIR resolve: make receiver completion run independent from outer call
2019-04-30 18:45:49 +03:00
Simon Ogorodnik
adb135d036
Provide title to symbol references in html fir dump
2019-04-30 18:45:49 +03:00
Simon Ogorodnik
c1a9fee7e1
Implement break, continue, init in html fir
2019-04-30 18:45:49 +03:00