Skip to content

feat: Allow '¬' for negation in Unicode mode#23

Merged
mosteo merged 6 commits intomasterfrom
feat/neg-symbol
Jan 19, 2026
Merged

feat: Allow '¬' for negation in Unicode mode#23
mosteo merged 6 commits intomasterfrom
feat/neg-symbol

Conversation

@mosteo
Copy link
Member

@mosteo mosteo commented Jan 17, 2026

Closes #13

@mosteo mosteo marked this pull request as ready for review January 17, 2026 10:19
Copilot AI review requested due to automatic review settings January 17, 2026 10:19
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This pull request adds support for the '¬' (logical negation symbol) as an alternative to '!' and 'not' for negation operations in semantic version expressions. The change implements the feature requested in issue #13.

Changes:

  • Extended the grammar to include '¬' as a valid negation operator
  • Modified the lexer to recognize '¬' as a Negation token
  • Updated the Match_Token procedure to handle '¬' appropriately
  • Added basic test coverage for the new symbol

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 4 comments.

File Description
grammar.txt Updated the NEG production rule to include '¬' as a valid negation operator
src/semantic_versioning-extended.adb Added '¬' to the case statement for token recognition and Match_Token handling
tests/src/semver_tests-negation.adb Added a basic test case verifying '¬' works for negation

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@mosteo mosteo marked this pull request as draft January 18, 2026 08:29
@mosteo mosteo marked this pull request as ready for review January 18, 2026 23:52
@mosteo mosteo requested a review from Copilot January 18, 2026 23:52
@mosteo mosteo changed the title feat: Allow '¬' for negation feat: Allow '¬' for negation in Unicode mode Jan 18, 2026
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Copilot reviewed 7 out of 7 changed files in this pull request and generated 1 comment.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

mosteo and others added 2 commits January 19, 2026 00:57
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@mosteo mosteo merged commit 5b282cf into master Jan 19, 2026
5 checks passed
@mosteo mosteo deleted the feat/neg-symbol branch January 19, 2026 11:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

NOT operator for extended expressions

1 participant