Details
-
Type:
Bug
-
Status:
Closed
-
Priority:
Blocker
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: X10 2.2
-
Component/s: X10 Compiler: Front-end
-
Labels:None
-
Number of attachments :
Description
Umbrella JIRA for the X10 frontend issues that will be covered by the X10 2.2 release.
Issue Links
- depends upon
-
XTENLANG-2532
Inconsistent behavior from the compiler wrt to code generation
-
-
XTENLANG-2611
front-end:java.lang.StackOverflowError:compiler ICE at a for loop
-
-
XTENLANG-2625
Reachability information is incorrect for constructors of anonymous inner class
-
-
XTENLANG-2681
Interfaces with type invariants may refuse to be inheritable.
-
-
XTENLANG-2682
Failure to check place constraints with STATIC_CHECKS
-
-
XTENLANG-614
Ternary expression with void closures fails to typecheck
-
-
XTENLANG-747
Entailment rule on inherited method guards not enforced
-
-
XTENLANG-989
Failure to verify method constraint correctly
-
-
XTENLANG-1234
Method override information not computed correctly in the X10 frontend
-
-
XTENLANG-1253
Must switch/case statements all need to have the same integral type?
-
-
XTENLANG-1375
Completeness of Reported Errors
-
-
XTENLANG-1380
leastCommonAncestorBase handles null in a wrong way (without considering the constraint)
-
-
XTENLANG-1383
Compiler should always produce a proper AST after typechecking
-
-
XTENLANG-1448
Generic and overriding don't mix well
-
-
XTENLANG-1468
Function types should be represented directly (not with Fun_0_x)
-
-
XTENLANG-1582
Compiler NPE when typechecking a construct that offers
-
-
XTENLANG-1812
front end fails to catch error with missing type parameter
-
-
XTENLANG-1816
Inference bug
-
-
XTENLANG-1842
Inner (non static member) classes should not have static fields&classes.
-
-
XTENLANG-1851
definite assignment is still required if the constructor throws an exception
-
-
XTENLANG-1864
Resolution of {{super.field}} is wrong: the qualifier should be the current class (or some enclosing class), but it is the superclass.
-
-
XTENLANG-1905
GlobalRef.home() is not equated correctly
-
-
XTENLANG-1914
Revisit the entire design of property fields and methods in interfaces
-
-
XTENLANG-1929
{{here}} on a method guard is not "context-sensitive"
-
-
XTENLANG-1932
Constraints do not treat "this" of outer instances correctly
-
-
XTENLANG-2018
visibility modifier ignored with nested classes
-
-
XTENLANG-2162
ICE: java.lang.IndexOutOfBoundsException raised when compiling input program
-
-
XTENLANG-2163
Method and outer class type parameters have to be alpha-renamed before code generation
-
-
XTENLANG-2266
Typechecker confused by package, struct, and variable with the same name.
-
-
XTENLANG-2273
Incorrect return type of the synthetic default constructor
-
-
XTENLANG-2277
Incorrect typechecking of operator()X= (e.g., "+=")
-
-
XTENLANG-2305
In-line interface in class doesn't compile in Java back end
-
-
XTENLANG-2319
Error message does not help resolve problem with construction of dist array entry
-
-
XTENLANG-2366
ICE:TYPE DECLARATION caused internal compiler error (java.lang.IndexOutOfBoundsException)
-
-
XTENLANG-2370
GENERIC:invocation of operators on type parameter failed to compile
-
-
XTENLANG-2387
Recursive local declaration should be prohibited
-
-
XTENLANG-2389
Constraint system is confused between self, this, and outer this.
-
-
XTENLANG-2401
Context.find should search only by name and erased-signature (i.e., ignore constraints)
-
-
XTENLANG-2402
Invariant violations in compiler junit test suite
-
-
XTENLANG-2441
Bug in auto-generation of equals methods for struct types
-
-
XTENLANG-2485
Remove the syntax for specifying the type of an Array literal
-
-
XTENLANG-2503
Remove exceptions that interrupt the flow of typechecking -- report those errors instead
-
-
XTENLANG-2509
abstract method impl in subclass with parameter type constrain fails to be recognized
-
-
XTENLANG-2535
The compiler reports a type is inconsistent (even though it is), and we shouldn't add constraints to user-specified return types
-
-
XTENLANG-2557
ICE: Internal compiler error while typechecking a loop
-
-
XTENLANG-2558
ICE: ClassCastException while compiling a file with a syntax error
-
-
XTENLANG-2567
Invalid AST created by DYNAMIC_CHECKS for Point rank check in non-Array context.
-
-
XTENLANG-2582
front-end: property method is not expanded correctly
-
-
XTENLANG-2586
Definite initialization is incorrect for locals and closures
-
-
XTENLANG-2587
Compiler generates bad code for Array.map due to variety of problems in dynamic check injection by front-end.
-
-
XTENLANG-2592
C++ codegen:DYNAMIC_CHECK:exepcted exception is not thrown on a violation of constraint
-
-
XTENLANG-2594
front-end:constraint method call:problems in implicit conversion from Array[Int](1) to Point
-
-
XTENLANG-2595
front-end:type checker:operator + on x10.lang.Int in an iteration on element of DistArray[Int](2)
-
-
XTENLANG-2603
Constant folding based on constrained type of field leads to incorrect code in presence of dynamic checks.
-
-
XTENLANG-2607
Internal compiler error --- ClassCastException
-
-
XTENLANG-2610
non-existing annotations should be compilation errors (not ambiguous AST nodes!)
-
-
XTENLANG-2612
Compiler incompleteness
-
-
XTENLANG-2621
Type variable shadowing doesn't seem to be checked
-
-
XTENLANG-2622
null is special in constraints, and is not treated correctly
-
-
XTENLANG-2623
Impossible casts need to fail to compile
-
-
XTENLANG-2631
getRealXClause returns an inconsistent constraint when using Array as a property
-
-
XTENLANG-2635
LCA for two structs that implement the same interface should be that interface (if the structs have no other interface in common)
-
-
XTENLANG-2637
DistArray element access:operator+(x10.lang.Int, x10.lang.Int): fails to compile
-
-
XTENLANG-2638
Constraint bug - inconsistent environment
-
-
XTENLANG-2644
ICE: Java traceback in program with type error
-
-
XTENLANG-2645
typechecker bug when using Rail typedef inside of ArrayBuilder
-
-
XTENLANG-2646
Closures with bodies that are assignment expressions don't parse
-
-
XTENLANG-2652
Reached MAX_RECURSION_DEPTH:compilation ICE reaching max recursion depth
-
-
XTENLANG-2661
ICE on CUDAKernelTestTest.x10 at -O
-
-
XTENLANG-2662
Post compilation error with duplicate type parameter for m3r.engine.JobRunner.x10
-
-
XTENLANG-2667
Explicit casts should be searched both in the source and target types
-
-
XTENLANG-2684
Remove the use of exceptions in disambiguation
-
-
XTENLANG-2699
Managed backend does not correctly handle nested anonymous classes
-
-
XTENLANG-2706
Failed to override method with the same signature
-
-
XTENLANG-2709
HeatTransfer samples no longer compile without dynamic checks
-
-
XTENLANG-2711
Regression: when having a {T haszero} constraint it interrupts with initialization checks
-
-
XTENLANG-2725
The place of method invocation is not computed correctly
-
-
XTENLANG-2744
NPE when compiling method guard dynamic checks
-
-
XTENLANG-1427
Compiler does not report an error when constructing an instance of a class with a parse error
-
-
XTENLANG-1512
Compiler fails to report on illegal overloading with generics
-
-
XTENLANG-1939
Typechecker permits "def f() = m()" syntax when m() is a void method
-
-
XTENLANG-2022
Inconsistent constraint checking between struct and class
-
-
XTENLANG-2156
Equality of unsigned types is broken
-
-
XTENLANG-2377
Compiler rejects a legal creation of an inner class (due to non-static inner classes and generics)
-
-
XTENLANG-2435
When inferring the return type, we should consider overriding methods and HasType.
-
-
XTENLANG-2449
Rename STATIC_CALLS and VERBOSE_CALLS to STATIC_CHECKS and VERBOSE_CHECKS
-
-
XTENLANG-2456
Constraint system gets confused by the {T haszero} constraints.
-
-
XTENLANG-2474
Optimizer:-Optimize compilation throws java.lang.NullPointerException
-
-
XTENLANG-2500
Add more operators to X10
-
-
XTENLANG-2660
Remove ability for code in an at statement/expr to assign a local variable declared outside the at statement/expr
-
-
XTENLANG-1248
Correctly implement constraint lub
-
-
XTENLANG-1667
Remove the next and resume keywords from the language
-
-
XTENLANG-2288
The compiler is far too slow to effectively do incremental, test-driven development from the command line
-
-
XTENLANG-2483
Performance of name resolution
-
-
XTENLANG-2525
'e as T' should print a warning when the built-in cast behavior overrides the user-defined explicit conversion.
-
-
XTENLANG-2664
Remove special handling of at's first argument
-
-
XTENLANG-2668
Rename error nonterminals in the grammar to have "Error" in the name.
-
-
XTENLANG-1564
Extract STATIC_CALLS as a separate phase/stage which removes certain errors from the error queue and inserts dynamic casts
-
-
XTENLANG-2458
Typedef definition
-
Current state (blocker and critical issues only):
Igor:
XTENLANG-1468(in progress, 1 pw)XTENLANG-614(1 pd)XTENLANG-2532(blocker for X10DT; may need debugging)XTENLANG-2612(needed for X10DT; may need debugging)XTENLANG-2633XTENLANG-2620(blocker; grammar work)XTENLANG-2660(blocker; includes grammar work)XTENLANG-2662XTENLANG-2664XTENLANG-2668XTENLANG-2509XTENLANG-2644XTENLANG-2645XTENLANG-2661XTENLANG-1375XTENLANG-1383XTENLANG-2684XTENLANG-2266XTENLANG-1812XTENLANG-2277(simple)XTENLANG-2483(simple)XTENLANG-2557(simple)XTENLANG-2607(simple)XTENLANG-2610(simple)XTENLANG-1667(grammar work, can be done by Yoav)XTENLANG-2485(grammar work, can be done by Yoav)XTENLANG-2646(grammar work, can be done by Yoav)XTENLANG-2366(needs debugging)XTENLANG-2402(waiting on Mandana for concrete failures, critical to do before X10DT picks up the changes)XTENLANG-2162(constraint visitor; may need to be deferred)XTENLANG-2503(needed for X10DT to get the most precise info; may need to be deferred)XTENLANG-2288(need for someone to re-measure; can be deferred)XTENLANG-2056(in progress)XTENLANG-2621XTENLANG-2594XTENLANG-2163(reopened)XTENLANG-2699(related toXTENLANG-2163)XTENLANG-2152(native processing; decision recorded in JIRA)XTENLANG-1448(conformance; awaiting decision)XTENLANG-1842XTENLANG-2305XTENLANG-1253(simple)XTENLANG-1864(needs debugging)XTENLANG-1905(needs representation change for method place terms)XTENLANG-1929(needs representation change for method place terms)XTENLANG-2725(needs representation change for method place terms)XTENLANG-2018XTENLANG-2319(needs debugging)XTENLANG-2744Yoav:
XTENLANG-1914(in progress)XTENLANG-2617(blocker)XTENLANG-2625(blocker)XTENLANG-2611(blocker)XTENLANG-2387XTENLANG-989XTENLANG-2273XTENLANG-2370(reopened, still needs to be looked at)XTENLANG-2567XTENLANG-2586XTENLANG-2587XTENLANG-2592XTENLANG-2603XTENLANG-1380XTENLANG-1582(simple)XTENLANG-2441XTENLANG-2652XTENLANG-2624XTENLANG-2401(language decision made)XTENLANG-2635(language decision made)XTENLANG-2667(language decision made)XTENLANG-2681(blocker, partially fixed)XTENLANG-1851(requires interaction with reachability analysis)XTENLANG-2525(simple)Vijay:
XTENLANG-2558(ICE caused by Vijay's new code)XTENLANG-1234XTENLANG-2582XTENLANG-2595(needs debugging)XTENLANG-747XTENLANG-1775XTENLANG-2622XTENLANG-2623XTENLANG-2637XTENLANG-2638XTENLANG-2682(blocker)XTENLANG-2711(regression caused by Vijay's new code)XTENLANG-1248XTENLANG-2706(regression)XTENLANG-2709(regression)XTENLANG-1490(desugaring; discussion in JIRA)XTENLANG-1816XTENLANG-1932XTENLANG-2389XTENLANG-2535(constraints)XTENLANG-2631(constraints)