1300a475db
Improve diagnostics for illegal constructions in contract-block
...
Like 'if', 'when', etc: they can have type of 'Effect', so we would try
to parse them and then fail silently.
2018-08-30 16:20:23 +03:00
ca20c0b0bd
Improve diagnostics for unrecognized InvocationKind in contracts
2018-08-30 16:20:19 +03:00
e40f11ec52
Improve diagnostics for contract-calls when not lambda-literal passed
2018-08-30 16:20:16 +03:00
90e37c6599
Improve diagnostics for illegal contract targets
2018-08-30 16:20:13 +03:00
a9c388ecc7
Forbid referencing captured types and generics in contracts
2018-08-30 16:20:10 +03:00
749fa049ca
Refactor diagnostic reporting of effects parsing
...
- Introduce ContractParsingDiagnosticsCollector
It allows us to make sure that we return 'null'-contract iff there's
some error. Note that it differs from previous behavior in two major
points:
a) if contract was unparsed, but no error were reported for
some reason, then generic error will be reported (previously we were
swallowing incorrect contract silently)
b) if there were some errors during parsing, return only 'null'
(previously, we could return some contract. It was unusable due to
errors in code, but we want to be extra-safe here)
- Introduce ContractCallContext to not pass a bunch of random arguments
around
- Make message of Error.CONTRACT_NOT_ALLOWED more flexible
2018-08-30 16:20:07 +03:00
a6783176ea
Add tests on illegal usages of Contracts DSL
...
(currently with undesired behavior, it will be fixed in the next
commits)
2018-08-30 16:20:04 +03:00
79476839c4
Minor: remove unneeded check from contract parsing
...
'parseContract' is called only from
'ContractParsingServices.checkContractAndRecordIfPresent', and here we
already have checked that this call is indeed a contract call.
2018-08-30 16:20:01 +03:00
e29de37ac4
Fix JS IR BlackBox tests after contracts publishing
...
- Add necessary files to compilation
- Opt-in for experimentality
See changes at e2606b72bdbec2fea567d4127197707869eb801e
2018-08-30 16:19:58 +03:00
ee8702d21e
Load of testdata change due to contracts publishing
...
See changes in e2606b72bdbec2fea567d4127197707869eb801e
2018-08-30 16:19:55 +03:00
accbd07b2e
Publish ContractsDsl
...
- Mark @ContractsDsl as @Experimental
- Move Contracts DSL out from 'internal' package
- Change visibility of ContractsDsl from 'internal' to 'public'
^KT-25274 Fixed
^KT-25495 Fixed
2018-08-30 16:19:51 +03:00
208c3a51ab
Use short jvm names for the annotation parameters
2018-08-30 16:19:44 +03:00
22f9a6ce08
Add coroutines debug metadata: compiler
...
#KT-25557 Fixed
#KT-25559 Fixed
2018-08-30 16:19:41 +03:00
c4287118d8
Add coroutines debug metadata: stdlib
2018-08-30 16:19:38 +03:00
fe451dce31
Implement correct is check for SuspendFunction
...
Add test for suspend functions with language version 1.2.
Minor edit in SuspendFunction docs.
2018-08-30 16:17:46 +03:00
a205019156
Additional tests and fixes for function name mangling
2018-08-30 14:58:54 +03:00
99498eb7b8
Use 'name-hash' mangling scheme
...
'-' is allowed as a name character both in JVM and in Dalvik, but can't
be a part of a Java identifier.
2018-08-30 14:58:52 +03:00
a56d1d3ce8
Mangle function names with inline class parameters
...
Avoid name clashes in cases such as
inline class Login(val login: String)
inline class Password(val password: String)
fun validate(login: Login) { ... }
fun validate(password: Password) { ... }
2018-08-30 14:58:50 +03:00
ff9ba97d66
Minor: fix warnings and reformat
2018-08-30 14:58:47 +03:00
c7a5a7ebd5
Gradle: Use common language/api version (if any) of all modules for project
...
#KT-26290 Fixed
2018-08-30 14:58:45 +03:00
c6eaaac877
Adjust coroutines test data to changing the default LV to 1.3
2018-08-30 14:58:43 +03:00
f594cb22e8
Add "LANGUAGE_VERSION: 1.2" directive where it's necessary
2018-08-30 14:58:41 +03:00
f5df53b7a7
Detect UInt/ULong parsing overflow after digit addition instead of before
...
#KT-26161
2018-08-30 14:58:39 +03:00
d99f97ad96
Support '+' in front of parsed unsigned string values
...
#KT-26161
2018-08-30 14:58:37 +03:00
2530a8e98c
Provide unsigned string to number conversion in arbitrary base
...
#KT-26161
2018-08-30 14:58:35 +03:00
c1d1a7108f
Provide unsigned number to string conversion in arbitrary base
...
#KT-26161
2018-08-30 14:58:33 +03:00
47162590eb
Add a credit for Guava implementation of unsigned division and remainder
2018-08-30 14:58:30 +03:00
abdd971d92
More contentHashCode tests for arrays
2018-08-30 14:58:28 +03:00
4df665bc78
Generate extensions for unsigned arrays and provide tests for them
...
- contentEquals, contentToString, contentHashCode
- as[Signed]Array, as[Unsigned]Array
- to[Signed]Array, to[Unsigned]Array
- toTypedArray
- copyOf(), copyOf(newSize), copyOfRange(...)
2018-08-30 14:58:26 +03:00
6360cc3cb5
Unsigned arrays: expose storage field as internal PublishedApi
...
To be able to write basic extensions that access storage array.
2018-08-30 14:58:24 +03:00
6d33313d2e
Regenerate range iteration tests
2018-08-30 14:58:22 +03:00
3d2eb36486
Generate until, downTo, step, reversed functions for unsigned ranges/progressions
2018-08-30 14:58:20 +03:00
add0894f54
Support unsigned types and array specializations in stdlib generator
2018-08-30 14:58:18 +03:00
76ff4c9b2f
Remove custom hashCode and equals from unsigned types
...
The generated ones are ok now (on JVM)
2018-08-30 14:58:16 +03:00
f367322084
Introduce associateWith and associateWithTo functions
...
#KT-13814
2018-08-30 14:58:14 +03:00
751e844258
Support having primary type parameter other than T in generated code
...
With some limitations: the primary parameter cannot have constraints for now.
2018-08-30 14:58:11 +03:00
929064dfa7
Adjust SequenceBuilder to the new coroutines API
...
* Continuation.resumeWith(SuccessOrFailure)
* createCoroutineUnintercepted
(cherry picked from commit 8bbd78c
2018-08-30 14:58:09 +03:00
6400687f2a
Restore experimental SequenceBuilder
2018-08-30 14:58:07 +03:00
0ceceaaa6a
Restore history of SequenceBuilder from experimental coroutines
2018-08-30 14:58:05 +03:00
47996dbf47
Temporary remove SequenceBuilder
2018-08-30 14:58:03 +03:00
38d8451d1c
Remove unused and unnecessary classpath entries in compiler tests
...
Also remove obsolete additional path arguments for runIde task.
2018-08-30 14:58:01 +03:00
237d870618
Change kotlin-runtime dependency to kotlin-stdlib in Kotlin runner and ant task
2018-08-30 14:57:59 +03:00
e59141e32c
Replace kotlin-stdlib-jreN usages in tests and samples
2018-08-30 14:57:56 +03:00
16148a30c1
Remove or replace deprecated kotlin-runtime artifact usages
2018-08-30 14:57:54 +03:00
c8becbd335
Stop distributing and publishing obsolete artifacts
...
Keep stdlib-jreN dist for tests only.
#KT-23799
2018-08-30 14:57:52 +03:00
b7b5fd75b8
Minor. Fix tests
2018-08-30 14:57:50 +03:00
e93683621a
Implement callSuspend and callSuspendBy functions as KCallable's
...
extension methods.
Also make isSuspend a member of KCallable.
#KT-21972: Fixed
2018-08-30 14:57:48 +03:00
66315cee45
Fix coroutine-related test data
2018-08-30 14:57:46 +03:00
c12bfe312a
Make experimental/release COROUTINE_SUSPENDED reference the same instance
...
It's necessary when mixing experimental/release coroutines together
#KT-25683 In Progress
2018-08-30 14:57:44 +03:00
3a7f8dcf3a
Allow calling some pieces of the experimental coroutine API
...
- Calling suspend functions is allowed
- Presence of suspend function type still makes declaration
unusable unless it belongs to a value parameter as a top-level type
containing less then three parameters
Still, warning should be emitted because they will become unsupported in 1.4
#KT-25683 In Progress
2018-08-30 14:57:41 +03:00
Dmitry Savvinov