X10

Incorrect return type of the synthetic default constructor

Details

  • Number of attachments :
    0

Description

The following code fails to compile with -STATIC_CALLS:

public class DefaultConstructorBug {
    public static def bar(y:Int):Foo{self.x==y} = new Foo(y);
    public static class Foo(x:Int) { }
}

It produces the following error:

./DefaultConstructorBug.x10:2: Cannot return expression of given type.    
         type: DefaultConstructorBug.Foo{self!=null}    
         desired Type:DefaultConstructorBug.Foo{self.x==y}

If the order of the declaration of class Foo and the declaration of bar() is switched, the program compiles with no errors, which points to type inference as the culprit.

Issue Links

is depended upon by

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-2584 X10 2.2 frontend issues (umbrella)

  • Blocker - Blocks development and/or testing work, production could not run
  • Closed - The issue is considered finished, the resolution is correct. Issues which are not closed can be reopened.
relates to

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-1630 Compiler internal error message appears as regular compilation error

  • Major - Major loss of function.
  • Closed - The issue is considered finished, the resolution is correct. Issues which are not closed can be reopened.

Improvement - An improvement or enhancement to an existing feature or task. XTENLANG-1763 Auto-generated ctor for classes with properties doesn't handle inheritance

  • Minor - Minor loss of function, or other problem where easy workaround is present.
  • Open - The issue is open and ready for the assignee to start work on it.
supercedes

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-1924 Auto-generated ctor for classes with properties doesn't have the most exact return type

  • Major - Major loss of function.
  • Closed - The issue is considered finished, the resolution is correct. Issues which are not closed can be reopened.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
David Grove added a comment -

defer all non-critical 2.1.2 issues to 2.2.

Show
David Grove added a comment - defer all non-critical 2.1.2 issues to 2.2.
Hide
Permalink
Yoav Zibin added a comment -

fixed in revision 20846.

Show
Yoav Zibin added a comment - fixed in revision 20846.
Hide
Permalink
David Grove added a comment -

bulk close of all 2.2.0 resolved issues.

Show
David Grove added a comment - bulk close of all 2.2.0 resolved issues.

People

  • Assignee:
    Yoav Zibin
    Reporter:
    Igor Peshansky
Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: