X10

Bad generated code for val a: A[int] = A.make[int](d);

Details

  • Type: Bug Bug
  • Status: Closed Closed
  • Priority: Critical Critical
  • Resolution: Fixed
  • 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 D {}

class A[T](d:D) {
    static type A[T](d:D) = A[T]{self.d==d};
    incomplete static def make[T](d:D): A[T](d);
    def this(d:D) = property(d);
}

class Bug {
    val d: D = new D();
    val a: A[int] = A.make[int](d);
}

inconvertible types
found : A<java.lang.Object>
required: A<java.lang.Integer>
A.make(x10.types.Types.INT,

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Bruce Lucas added a comment -

Affects

Atomic/AtomicOrdered
Distribution/DistBounds2D
Distribution/DistBounds3D

Show
Bruce Lucas added a comment - Affects Atomic/AtomicOrdered Distribution/DistBounds2D Distribution/DistBounds3D
Hide
Permalink
Nate Nystrom added a comment -

Fixed in X10PrettyPrinter.

Show
Nate Nystrom added a comment - Fixed in X10PrettyPrinter.
Hide
Permalink
Bruce Lucas added a comment -

I'm still seeing this issue.

Show
Bruce Lucas added a comment - I'm still seeing this issue.
Hide
Permalink
David Grove added a comment -

This appears to be fixed (per nightly test case execution).

Show
David Grove added a comment - This appears to be fixed (per nightly test case execution).

People

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

Dates

  • Created:
    Updated:
    Resolved: