X10

variable of type C[R{...}] incompatible with method returning C[R{...}] under some conditions

Details

  • Type: Bug Bug
  • Status: Closed Closed
  • Priority: Critical Critical
  • Resolution: Cannot Reproduce
  • Affects Version/s: X10 1.7 - JVM hosted
  • Fix Version/s: X10 1.7.3
  • Component/s: X10 Compiler: Front-end
  • Labels:
    None
  • Number of attachments :
    0

Description

class R(rank:nat) {}

class C[T] {
    incomplete static def make[T](): C[T];
}

class Bug(foo:nat) {

    //var a: Rail[R{rank==foo}] = Rail.makeVar[R{rank==foo}](10);
    var a: C[R{rank==foo}] = C.make[R{rank==foo}]();
}

C:\lucas\x10\1.7\x10.exp\bugs\Bug.x10:10: The type of the variable initializer
"C[R{}]" does not match that of the declaration
"C[R

{self.rank==this.foo}

]".

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Nate Nystrom added a comment -

Changed example to the following to fix type errors:

class R(rank:nat) {
    def this() { property(0); } 
}

class C[T] {
    incomplete static def make[T](): C[T];
} 

class Bug(foo:nat) { 
    def this() { property(0); } 

    //var a: Rail[R{rank==foo}] = Rail.makeVar[R{rank==foo}](10);
    var a: C[R{rank==foo}] = C.make[R{rank==foo}]();
}
Show
Nate Nystrom added a comment - Changed example to the following to fix type errors: class R(rank:nat) { def this () { property(0); } } class C[T] { incomplete static def make[T](): C[T]; } class Bug(foo:nat) { def this () { property(0); } // var a: Rail[R{rank==foo}] = Rail.makeVar[R{rank==foo}](10); var a: C[R{rank==foo}] = C.make[R{rank==foo}](); }
Hide
Permalink
Nate Nystrom added a comment -

Probably a this capture bug. Fixed along with several others.

Show
Nate Nystrom added a comment - Probably a this capture bug. Fixed along with several others.
Hide
Permalink
David Grove added a comment -

Bulk close of old resolved issues.

Show
David Grove added a comment - Bulk close of old resolved issues.

People

  • Assignee:
    Nate Nystrom
    Reporter:
    Bruce Lucas
Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: