Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Negated exists and nonempty conditions #76

Closed
lucaswerkmeister opened this issue Jan 4, 2015 · 3 comments
Closed

Negated exists and nonempty conditions #76

lucaswerkmeister opened this issue Jan 4, 2015 · 3 comments
Assignees
@lucaswerkmeister
Labels
API design feature
Milestone
1.2.0

Comments

@lucaswerkmeister
Copy link
Member

if (!exists x) and if (!nonempty x) are now allowed, in conjunction with destructuring (#75) but logically separate from it. I musn’t forget to support this too. See ceylon/ceylon-spec#817 and ceylon/ceylon-spec@d024d99.
@lucaswerkmeister lucaswerkmeister self-assigned this Jan 4, 2015
@lucaswerkmeister lucaswerkmeister added this to the 1.1.5 milestone Jan 4, 2015
@gavinking
Copy link
Member

Well actually negated conditions can't have patterns. It wouldn't make sense...

@lucaswerkmeister
Copy link
Member Author

Ah, good point. But it can be a pattern variable plus specifier expression (if (!exists nil = null of Anything)), which I’m representing as SpecifiedPattern (not yet committed, WIP), so that will have to be an assertion.

@lucaswerkmeister lucaswerkmeister mentioned this issue Jan 10, 2015
Closed
@lucaswerkmeister
Copy link
Member Author

In fact, I don’t think this belongs into ceylon.ast at all – it’s not a syntactical restriction.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lucaswerkmeister lucaswerkmeister

Labels
API design feature
Projects
None yet
Milestone
1.2.0
Development

No branches or pull requests
2 participants
@gavinking @lucaswerkmeister