X10

Functions that offer can fail to typecheck

Details

  • Number of attachments :
    0

Description

The following code ought to compile. All it does is offer Ints around.

class Offery {
  public def off() throws Exception offers Int  {
     offer 1;
     offer 2;
     offer 3;
  }

  val f : () offers Int => Int  = 
    () => {this.off(); 1};
  
  public static def main(argv:Rail[String]!) {
    
  }
}

However, no:

/Users/bard/x10/tmp/colfin/Offery.x10:9: Code that can offer values of given type is invoked in a context which does not expect offers.
Offer type: x10.lang.Int

Activity

Ascending order - Click to sort in descending order
Vijay Saraswat made changes -
Field Original Value New Value
Component/s X10 Compiler: Front-end Typechecking [ 14307 ]
Component/s X10 Compiler: Front-end [ 13471 ]
Igor Peshansky made changes -
Fix Version/s X10 2.1.0 [ 16496 ]
David Grove made changes -
Fix Version/s X10 2.1.1 [ 16497 ]
Fix Version/s X10 2.1.0 [ 16496 ]
David Grove made changes -
Fix Version/s X10 2.1.2 [ 16498 ]
Fix Version/s X10 2.1.1 [ 16497 ]
David Grove made changes -
Fix Version/s X10 2.2 [ 16002 ]
Fix Version/s X10 2.1.2 [ 16498 ]
Vijay Saraswat made changes -
Fix Version/s X10 2.2.1 [ 17131 ]
Fix Version/s X10 2.2 [ 16002 ]
David Grove made changes -
Fix Version/s X10 2.2.2 [ 17639 ]
Fix Version/s X10 2.2.1 [ 17131 ]
David Grove made changes -
Fix Version/s X10 2.2.3 [ 18146 ]
Fix Version/s X10 2.2.2 [ 17639 ]
David Grove made changes -
Assignee Igor Peshansky [ ipeshansky ]
David Grove made changes -
Fix Version/s X10 2.3 [ 17009 ]
Fix Version/s X10 2.2.3 [ 18146 ]
David Grove made changes -
Fix Version/s X10 2.3.1 [ 18657 ]
Fix Version/s X10 2.3 [ 17009 ]
David Grove made changes -
Fix Version/s X10 2.3.2 [ 19010 ]
Fix Version/s X10 2.3.1 [ 18657 ]

People

  • Assignee:
    Unassigned
    Reporter:
    Bard Bloom
Vote (0)
Watch (1)

Dates

  • Created:
    Updated: