X10

Type bounds do not play nice with coercions

Details

  • Testcase included:
    yes
  • Number of attachments :
    0

Description

The following code:

public class XTENLANG_2480 {
    public static def main(Array[String]) {
        val v <: Double = 3;
    }
}

fails to compile with this error:

./XTENLANG_2480.x10:3: Computed type is not a subtype of type bound.    
         Computed Type: x10.lang.Int{self==3}    
         Type Bound: x10.lang.Double
1 error.

while changing <: to : makes compilation succeed.
Typechecking partial types should attempt coercing the initializer to the type bound before reporting an error.

Issue Links

is depended upon by

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-2484 clarification needed for accessing static fields in a class via native code

  • 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-2439 X10 2.2 language design decisions (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.

Task - A task that needs to be done. XTENLANG-2971 Umbrella language/front-end JIRA for X10 2.3.1

  • Critical - Crashes, loss of data, severe memory leak.
  • Open - The issue is open and ready for the assignee to start work on it.
relates to

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-2487 Method Resolution doesn't handle user-defined implicit coercions correctly.

  • Critical - Crashes, loss of data, severe memory leak.
  • Open - The issue is open and ready for the assignee to start work on it.

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-2435 When inferring the return type, we should consider overriding methods and HasType.

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

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-2526 Specify "operator (x:T) as ? <: U "

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

Improvement - An improvement or enhancement to an existing feature or task. XTENLANG-1151 <:-declarations should try type conversions, too.

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

Activity

No work has yet been logged on this issue.

People

  • Assignee:
    Unassigned
    Reporter:
    Igor Peshansky
Vote (0)
Watch (1)

Dates

  • Created:
    Updated: