Commit Graph

20 Commits

Author SHA1 Message Date
Andrey Breslav 0abf56c9ac Spec document for reified type parameters 2014-12-18 17:28:53 +03:00
Andrey Breslav 6916c0f5cc Test for native property accessors 2014-12-16 16:23:34 +03:00
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