Details
-
Type:
Improvement
-
Status:
Closed
-
Priority:
Blocker
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: X10 2.2
-
Component/s: Language Design
-
Labels:None
-
Number of attachments :
Description
Umbrella Jira for the X10 language design issues that will be covered by the X10 2.2 release.
Issue Links
- depends upon
-
XTENLANG-2357
Explicit coercions aren't always found
-
-
XTENLANG-2480
Type bounds do not play nice with coercions
-
-
XTENLANG-1311
if Foo is coercible to Baz, "for (b:Baz in (x as Iterable[Foo])" should be legal
-
-
XTENLANG-1764
Why can't I use this or self in a class invariant?
-
-
XTENLANG-1989
Fix spec's description of 'at' behavior (assuming it's wrong -- discussion is not concluded)
-
-
XTENLANG-1914
Revisit the entire design of property fields and methods in interfaces
-
-
XTENLANG-2163
Method and outer class type parameters have to be alpha-renamed before code generation
-
-
XTENLANG-2217
Shadowing of type parameters should be disallowed
-
-
XTENLANG-2266
Typechecker confused by package, struct, and variable with the same name.
-
-
XTENLANG-2305
In-line interface in class doesn't compile in Java back end
-
-
XTENLANG-2387
Recursive local declaration should be prohibited
-
-
XTENLANG-2389
Constraint system is confused between self, this, and outer this.
-
-
XTENLANG-920
Upcast of function types requires wrapping/type conversions due to co/contra variance of arguments/return type
-
-
XTENLANG-1415
"for loops" are rejected if the constraint is wrong even for DYNAMIC_CALLS
-
-
XTENLANG-1512
Compiler fails to report on illegal overloading with generics
-
-
XTENLANG-1923
Formally define the language of legal constraints
-
-
XTENLANG-1930
Interface invariants are effectively ignored by the compiler
-
-
XTENLANG-2405
X10 currently have no syntax for calling operators of the superclass
-
-
XTENLANG-2435
When inferring the return type, we should consider overriding methods and HasType.
-
-
XTENLANG-2469
Implement new 'at' and 'athome' constructs.
-
-
XTENLANG-1885
Support break/continue/return from at's
-
-
XTENLANG-2436
X10 needs top-level type definitions
-
-
XTENLANG-2444
Remove co-and contra- variance from the language
-
-
XTENLANG-2482
Change (e as T) to not propagate self constraints; introduce (e asalso {c})
-
-
XTENLANG-1913
Copying semantics: copying 'at' should not copy 'this'
-
-
XTENLANG-1667
Remove the next and resume keywords from the language
-
-
XTENLANG-1703
Support "operator#(...)" syntax for invoking operators
-
-
XTENLANG-2465
Need to define semantics for STATIC_CALLS/DYNAMIC_CALLS (and possibly rename to STATIC_CHECKS/DYNAMIC_CHECKS)
-
-
XTENLANG-2302
Destructuring Points should check their size.
-
-
XTENLANG-2458
Typedef definition
-
- is depended upon by
-
XTENLANG-1468
Function types should be represented directly (not with Fun_0_x)
-
-
XTENLANG-2198
Asymetric treatment of constraints in Array
-
-
XTENLANG-808
Add "import static"
-
- relates to
-
XTENLANG-1624
improve compiler message for unresolved method calls
-
XTENLANG-2436: highly desirable for improved usability