azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
35,449 Commits 1 Branch 0 Tags
a8cc04d433dba9dc02bb55293c42d4e77cd3c822
Commit Graph

2395 Commits

Author SHA1 Message Date
Alexander Udalov 525e6e53fe Do not report unhelpful diagnostic for unresolved call inside inline function 
#KT-14887 Fixed
 2016-11-22 18:19:01 +03:00
Alexander Udalov eacf64e4db Report initializer block-related diagnostic on 'init' keyword 2016-11-22 18:19:01 +03:00
Denis Zharkov 5276c3c755 Support 'interceptResume' operator in frontend 
#KT-14891 In Progress
 2016-11-22 14:33:40 +03:00
Dmitry Petrov e6fcf20cf2 No variance elision in type alias substitution. 
Add test with cyclic inheritance via type alias.
 2016-11-22 10:04:47 +03:00
Dmitry Petrov 67fe28b8d8 Combine type annotations for arguments of type aliases. 2016-11-22 10:04:47 +03:00
Dmitry Petrov 063bce23d2 Prohibit constructing projected types via type aliases. 2016-11-22 10:04:47 +03:00
Dmitry Petrov bab9cde280 Type alias projections & substitution rules. 
1. Substitution variance (sv) is a substitution composition of type alias argument variance (av)
and corresponding expanding type argument variance (ev):
sv =
  | av == ev -> av
  | av == INVARIANT -> ev
  | ev == INVARIANT -> av
  | else -> (variance conflict error; av)

2. Resulting variance (rv) is a type argument composition of sv and type parameter variance (pv):
rv =
  | sv == tv => INVARIANT
  | sv == INVARIANT => INVARIANT
  | tv == INVARIANT => sv
  | else -> (variance conflict error; sv)
 2016-11-22 10:04:47 +03:00
Ilya Gorbunov 491ca582b3 Include collection type aliases into mock-runtime as they are used extremely often in tests 2016-11-21 18:20:33 +03:00
Dmitry Petrov d665193c20 Type alias constructors for inner classes in expressions ans supertype lists. 2016-11-21 10:25:51 +03:00
Dmitry Petrov 4c47d77a9f Report error on non-top-level type aliases (unsupported in 1.1). 
Get rid of nested type aliases in project.
 2016-11-21 10:25:51 +03:00
Mikhail Zarechenskiy 4b23c50bf8 Parse expressions like '1._foo()' after dot as references 2016-11-17 22:58:40 +03:00
Ilya Gorbunov daac46bce5 Fix rendering in test output after introducing type aliases for the types used in those tests. 2016-11-16 18:47:42 +03:00
Dmitry Petrov f7203da2d6 Type inference SHOULD NOT work for type alias constructor in supertypes list 
(same as for classes: type arguments should be provided explicitly).
 2016-11-16 14:11:14 +03:00
Dmitry Petrov cd8b5dcb00 Constructors for inner type aliases: add a failing test (no way to invoke such constructor at the moment). 2016-11-16 14:11:14 +03:00
Dmitry Petrov 718e8ebf9e Inner type aliases. 
Type alias is considered "inner" if it captures outer class type parameters (implicitly or explicitly).
 2016-11-16 14:11:14 +03:00
Denis Zharkov 6fca46a452 Allow inferring property type from its getter 
#KT-550 Fixed
 2016-11-15 09:30:13 +03:00
Dmitry Petrov 6876f0e4d2 Support type aliases as bare types after 'is/as'. 2016-11-10 18:33:50 +03:00
Dmitry Petrov 37eedc3703 Hack: do not add trivial constraints (t <: Any?) for constituent types, 
otherwise nested calls handling logic in old inference wouldn't work for type alias constructors.
 2016-11-10 14:54:11 +03:00
Dmitry Petrov 549ae59562 Inference for type alias constructor type arguments: better error reporting. 2016-11-10 14:54:11 +03:00
Dmitry Petrov 94d7bd7a6b KT-14641: Nested type alias reference via an instance is an error. 2016-11-10 14:54:11 +03:00
Mikhail Glukhikh ce72337ebd Effective visibility is now considered private for invisible fake #KT-14469 Fixed 2016-11-10 13:42:58 +03:00
Denis Zharkov 24819a079b Change resolution scope for componentX in lambda parameters 
Component-functions are resolved in the same scope as the first statement of the lambda, but lambda receiver was not available

 #KT-14692 Fixed
 2016-11-10 10:33:42 +03:00
Dmitry Petrov 03d8aa272b Infer type arguments of type alias constructors. 2016-11-09 10:48:07 +03:00
Mikhail Zarechenskiy 3df5efb236 Introduce language feature: underscores in numeric literals 
#KT-2964 Fixed
 2016-11-08 19:04:53 +03:00
Denis Zharkov 6491d3fbac Do not report DSL scope violation error when language-version is 1.0 
#KT-11551 Fixed
 2016-11-01 15:58:14 +03:00
Denis Zharkov 7553d3f72b Intoduce and support DslMarker annotation 
#KT-11551 In Progress
 2016-11-01 15:58:14 +03:00
Dmitry Petrov ed60674d13 KT-14498: Properly check variance in expanded types. 2016-10-28 18:02:15 +03:00
Mikhail Glukhikh 2130164d9b EXTERNAL_DECLARATION_CANNOT_BE_ABSTRACT is now reported on property if accessor is external #KT-9297 Fixed 
Also fixes EA-89227
 2016-10-27 16:25:43 +03:00
Denis Zharkov 10861e57ff Fix NDFDE for single underscore named property in primary constructor 
NDFDE = NoDescriptorForDeclarationException

See the comment in change
 2016-10-24 18:00:02 +03:00
Denis Zharkov 09dc207052 Add SingleUnderscoreForParameterName language feature 2016-10-24 18:00:02 +03:00
Denis Zharkov 1f0293eb42 Check modifiers applicability on destructured lambda parameters 
#KT-14502 Fixed
 2016-10-24 18:00:02 +03:00
Denis Zharkov 51f4244980 Report UNUSED_DESTRUCTURED_PARAMETER_ENTRY 
on destructured lambda parameters

 #KT-14347 Fixed
 2016-10-24 10:19:25 +03:00
Denis Zharkov 4c69416f2b Report warning on unused entities that can be renamed to _ 
Currently it's all about lambda parameters/destructuring entries

 #KT-14347 In Progress
 2016-10-24 10:19:25 +03:00
Denis Zharkov dbca310d8c Support single-underscore variable names partially 
Currently only parameters of lambdas/function expressions
and destructuring entries are allowed

 #KT-3824 In Progress
 #KT-2783 In Progress
 2016-10-24 10:19:25 +03:00
Mikhail Glukhikh bfaa9cf56f UnreachableCode.getUnreachableTextRanges always returns at least one range #KT-14158 Fixed 2016-10-21 10:31:50 +03:00
Dmitry Petrov 2986e7b508 Check for repeated annotations in type alias expansion. 2016-10-21 09:56:10 +03:00
Dmitry Petrov 5531762ab1 Check for repeated annotations in type alias declaration. 2016-10-21 09:56:10 +03:00
Mikhail Glukhikh a19d178867 Initialization analysis : more accurate handling of non-local variables while merging data #KT-14304 Fixed 2016-10-20 19:52:44 +03:00
Dmitry Petrov c41ec1ddfb KT-14400: Properly handle TypeAliasConstructorDescriptor in KotlinTypeMapper.mapToCallableMethod(...) 
Implement getDefaultType() in TypeAliasDescriptor subclasses.
 2016-10-20 09:56:03 +03:00
Dmitry Petrov 1600037625 KT-14307, KT-14377: Run declaration checks on local type aliases. 2016-10-17 16:22:04 +03:00
Dmitry Petrov 753a558bcb KT-14352 Record short reference to companion object via type alias, 
so that it would be checked properly.
 2016-10-17 10:11:58 +03:00
Zalim Bashorov c21e1eb857 Report error when try to use unsupported reflection API in Kotlin JS; allow to use kotlin.Any members on reflection classes for both platforms. 2016-10-14 19:44:58 +03:00
Dmitry Petrov 47b3420a65 Minor: testData fix after rebase 2016-10-13 18:03:00 +03:00
Dmitry Petrov e7ca00d91b Support @SinceKotlin annotation for type aliases. 2016-10-13 17:52:21 +03:00
Dmitry Petrov 8d634f6003 KT-14274: resolve type alias constructors calls in supertypes list as type alias constructors. 
Support @Deprecated for type aliases, including type alias constructors.
 2016-10-13 17:52:21 +03:00
Dmitry Petrov d2d8f72ffc Annotations on type aliases: typealias is not a "default target". 
Add diagnostic test for annotations on type aliases.
 2016-10-13 17:52:21 +03:00
Dmitry Petrov c6350e1afb Concatenate annotations in type alias expansion. 2016-10-13 17:44:14 +03:00
Mikhail Glukhikh 7a41d13b41 Do not add special names to scopes #KT-14319 Fixed 2016-10-13 17:17:05 +03:00
Ilya Chernikov 846797ff61 Switch to templates in the separate script runtime 2016-10-12 15:38:52 +02:00
Alexander Udalov 777004a0e2 Fix test data after merge 2016-10-12 12:52:38 +03:00