X10

Writing a constraint on a closure type (and writing constraint on {{void}})

Details

  • Number of attachments :
    0

Description

I think that all the following should compile, but I get parsing errors.
In general, I think that adding parenthesis should always be allowed.

class Bar {
 var c1:Any{self!=null};
 var c2:(Any){self!=null};
 var c3:() => void{self!=null}; 
 var c4:(() => void){self!=null}; 
 var c5:() => Any{self!=null}; 
 var c6:(() => Any){self!=null}; 
 var c7:() => (Any{self!=null}); 
}

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Igor Peshansky added a comment -

Bulk-assigning unscheduled issues to the next release.

Show
Igor Peshansky added a comment - Bulk-assigning unscheduled issues to the next release.
Hide
Permalink
David Grove added a comment -

bulk defer of unresolved 2.1.0 bugs to 2.1.1.

Show
David Grove added a comment - bulk defer of unresolved 2.1.0 bugs to 2.1.1.
Hide
Permalink
David Grove added a comment -

bulk move of all unresolved issues from 2.1.1 to 2.1.2

Show
David Grove added a comment - bulk move of all unresolved issues from 2.1.1 to 2.1.2
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
Vijay Saraswat added a comment -

Needs work.

class A{
 var c1:Any{self!=null}=new Object(); // ok
 var c2:(Any){self!=null}; //ERR (Any) is not supported as a type
 var c3:() => void{self!=null}; //ERR -- cannot constrain void
 var c4:(() => void){self!=null}=()=>{}; //should be ok, is not. Bug.
 var c5:() => Any{self!=null}; // type ok, ShouldBeErr for initialization. Bug.
 var c6:(() => Any){self!=null}=()=> 2; // should be ok. Bug.
 var c7:() => (Any{self!=null}); // type ok, ShouldBeErr for initialization. Bug
}
Show
Vijay Saraswat added a comment - Needs work. class A{ var c1:Any{self!= null }= new Object (); // ok var c2:(Any){self!= null }; //ERR (Any) is not supported as a type var c3:() => void{self!= null }; //ERR -- cannot constrain void var c4:(() => void){self!= null }=()=>{}; //should be ok, is not. Bug. var c5:() => Any{self!= null }; // type ok, ShouldBeErr for initialization. Bug. var c6:(() => Any){self!= null }=()=> 2; // should be ok. Bug. var c7:() => (Any{self!= null }); // type ok, ShouldBeErr for initialization. Bug }
Hide
Permalink
Igor Peshansky added a comment -

This needs a bunch of grammar work, which may introduce ambiguities. Since we have some valid programs that aren't parsed correctly, can this be documented as a limitation and deferred?

Show
Igor Peshansky added a comment - This needs a bunch of grammar work, which may introduce ambiguities. Since we have some valid programs that aren't parsed correctly, can this be documented as a limitation and deferred?
Hide
Permalink
Yoav Zibin added a comment -

Yes, I definitely not feel comfortable changing the grammar at this stage.
Un-assigning me from this jira...

Show
Yoav Zibin added a comment - Yes, I definitely not feel comfortable changing the grammar at this stage. Un-assigning me from this jira...
Hide
Permalink
Vijay Saraswat added a comment -

This involves parser work that we r not going to do for 2.2, so pushed out to 2.3. No backwards compatibility issues.

Show
Vijay Saraswat added a comment - This involves parser work that we r not going to do for 2.2, so pushed out to 2.3. No backwards compatibility issues.
Hide
Permalink
David Grove added a comment -

bulk defer of "feature-like" issues to next major release (2.3 to 2.4).

Show
David Grove added a comment - bulk defer of "feature-like" issues to next major release (2.3 to 2.4).

People

  • Assignee:
    Vijay Saraswat
    Reporter:
    Yoav Zibin
Vote (0)
Watch (3)

Dates

  • Created:
    Updated: