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

alpha-bindings must not be allowed inside formation, in phi #3842

Closed
yegor256 opened this issue Jan 22, 2025 · 1 comment · Fixed by #3844
Closed

alpha-bindings must not be allowed inside formation, in phi #3842

yegor256 opened this issue Jan 22, 2025 · 1 comment · Fixed by #3844
Assignees
@maxonfjvipon
Labels
bug

Comments

@yegor256
Copy link
Member

This must be illegal:

{⟦ α0 ↦ ξ.foo ⟧}

Alpha-bindings must only be allowed inside application.
@yegor256 yegor256 added the bug label Jan 22, 2025
@yegor256
Copy link
Member Author

@maxonfjvipon please, help

maxonfjvipon added a commit to maxonfjvipon/eo that referenced this issue Jan 23, 2025
@maxonfjvipon
bug(objectionary#3842): no alpha bindings in formations
7947bb3
@maxonfjvipon maxonfjvipon mentioned this issue Jan 23, 2025
Merged
github-merge-queue bot pushed a commit that referenced this issue Jan 23, 2025
@yegor256
Merge pull request #3844 from maxonfjvipon/bug/#3842/no-alpha-binding…
53ec85a 
…s-in-formations

bug(#3842): no alpha bindings in formations
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@maxonfjvipon maxonfjvipon

Labels
bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

bug(#3842): no alpha bindings in formations maxonfjvipon/eo
2 participants
@yegor256 @maxonfjvipon