 Andrey Breslav
|
c761a234c8
|
Spec for native declarations
|
2014-12-16 16:23:33 +03:00 |
|
|
Andrey Breslav
|
d17edacb65
|
Discriminate calls with implicit dynamic receivers
|
2014-12-10 16:18:38 +03:00 |
|
|
Andrey Breslav
|
8211f084e6
|
Dynamic types spec cleaned up
|
2014-12-01 20:43:46 +03:00 |
|
|
Andrey Breslav
|
b7dd63465b
|
Allow invoke-convention on dynamic expressions
|
2014-12-01 20:43:45 +03:00 |
|
|
Andrey Breslav
|
53bbf20b0d
|
Allow augmented assignments on dynamic receivers
|
2014-12-01 20:43:45 +03:00 |
|
|
Andrey Breslav
|
d5fdfcb797
|
Resolve dynamic.extensionForDynamic() statically
|
2014-12-01 20:43:44 +03:00 |
|
|
Andrey Breslav
|
5cced5a451
|
Comments on bounded dynamic types
|
2014-12-01 20:43:43 +03:00 |
|
|
Andrey Breslav
|
ea36024893
|
Report an error on dynamic types used as supertypes or upper bounds
|
2014-12-01 20:43:43 +03:00 |
|
|
Andrey Breslav
|
e09b624f05
|
dynamic is not a keyword on the left-hand side of callable references
|
2014-12-01 20:43:42 +03:00 |
|
|
Andrey Breslav
|
52f1e037c1
|
Dynamic calls have priority over extensions
|
2014-12-01 20:43:40 +03:00 |
|
|
Andrey Breslav
|
f58b30706e
|
Parsing dynamic in extension receiver position
|
2014-12-01 20:43:40 +03:00 |
|
|
Andrey Breslav
|
c8029307fa
|
Forbid dynamic on the RHS of is and as
|
2014-12-01 20:43:40 +03:00 |
|
|
Andrey Breslav
|
65794183e7
|
Specificity supported for dynamic types
|
2014-12-01 20:43:38 +03:00 |
|
|
Andrey Breslav
|
20513abe04
|
Allow dynamic types only in some contexts
|
2014-12-01 20:43:38 +03:00 |
|
|
Andrey Breslav
|
0f26998b19
|
Spec document for dynamic types
|
2014-12-01 20:43:37 +03:00 |
|
|
Andrey Breslav
|
3453809b4b
|
Defining flexible type semantic equality through subtyping
|
2014-10-15 14:07:55 +04:00 |
|
|
Andrey Breslav
|
f1c66fa6b0
|
Assertions on approximation of platform types to non-null types
- for most expressions (ExpressionCodegen.genQualified)
|
2014-10-13 15:38:13 +04:00 |
|
|
Andrey Breslav
|
107480657a
|
Spec document added
|
2014-10-13 15:38:00 +04:00 |
|