-
Notifications
You must be signed in to change notification settings - Fork 120
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.
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
Fix: no top-level lamdba package in generated PHI programs #3129
Comments
@deemp thanks for the report, here is a feedback: Problems
Suggestions
This will help anyone reviewing the bug report to quickly understand what the problem is and how it deviates from the expected behavior.
Please fix the bug report in order it to get resolved faster. |
@maxonfjvipon, I updated the issue description |
@deemp in general, it's better to submit a new issue instead of editing description/title of existing one -- this will help us keep discussions more concise. |
@yegor256, sure. However, there's no discussion in this issue apart from the current meta-discussion. |
Problem
When a formation has a
λ ⤍ Package
, thenormalizer
dataizes formations in sibling bindings.Otherwise, the
normalizer
doesn't dataize formations in sibling bindings.However, there's no top-level
λ ⤍ Package
binding in generated PHI programs.pipeline/phi/as-phi-tests.phi
(see this artefact):Suggestion
Make
eoc
optionally keep the information about tests.That is, both
eoc phi
andeoc unphi
should have a--tests
flag.For
eoc phi --tests
, write aλ ⤍ Test
binding in the top-level formation.For
eoc unphi --tests
, handle this binding too.The text was updated successfully, but these errors were encountered: