Skip to content

Fix running GkConj twice#112

Closed
rTreutlein wants to merge 1 commit intomainfrom
fix_case
Closed

Fix running GkConj twice#112
rTreutlein wants to merge 1 commit intomainfrom
fix_case

Conversation

@rTreutlein
Copy link
Collaborator

@patham9 This breaks a test but i am not sure that the way the test (spaces_find) works now is correct could you please check that.

@patham9
Copy link
Collaborator

patham9 commented Jan 19, 2026

Does this not change semantics? The empty case should only run if there was no item at all generated.

@patham9
Copy link
Collaborator

patham9 commented Jan 19, 2026

Changes semantics.

(friend a b)
!(case (match &self (friend a b) True)
       ((True True)
        (Empty False)))

WIth your version it reaches true and false both, even though the pattern is in the space.

@patham9
Copy link
Collaborator

patham9 commented Jan 19, 2026

Closed as this is not a solution.

@patham9 patham9 closed this Jan 19, 2026
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.

2 participants