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.

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

some tests enabled #2711

Merged
merged 17 commits into from
Dec 22, 2023
Merged

some tests enabled #2711

merged 17 commits into from
Dec 22, 2023

Conversation

yegor256
Copy link
Member

@yegor256 yegor256 commented Dec 21, 2023

Closes #2660


PR-Codex overview

Detailed summary

This PR focuses on adding new EO snippets and integration tests, updating Maven configuration, and improving documentation.

  • Added new EO snippets for various functionalities.
  • Updated Maven configuration to enable integration tests.
  • Improved documentation and added license headers to code files.

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

@maxonfjvipon
Copy link
Member

maxonfjvipon commented Dec 21, 2023

@yegor256 the original idea of VerifyMojo was to check errors after full assembling. Putting it into AssembleMojo gets us back to the milestone where program fails on optimize (or shake) step (right there where error appeared) because in your PR verify goes right after them

@yegor256
Copy link
Member Author

@maxonfjvipon got it, I'll revert it

@yegor256
Copy link
Member Author

@maxonfjvipon for some reason this change breaks the build. I can't understand why this happens... Any ideas?

@maxonfjvipon
Copy link
Member

@yegor256 let me check

<goals>
<goal>register</goal>
<goal>assemble</goal>
<goal>transpile</goal>
Copy link
Member

Choose a reason for hiding this comment

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

@yegor256 you forgot verify here

Copy link
Member Author

Choose a reason for hiding this comment

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

@maxonfjvipon yes, this is true, but the problem is in the SnippetTestCase -- they fail

Copy link
Member Author

Choose a reason for hiding this comment

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

@maxonfjvipon also, the absence of verify here should not be the problem -- the code that is not verified still can be traspiled, right? The verify step is optional. If the user is sure that all XMIR files are valid, he may skip the verify step. Am I wrong?

Copy link
Member

Choose a reason for hiding this comment

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

@yegor256 transpile mojo expects xmir files in 4-verified directory, which is absent if verify step was skipped. Actually it's a bug because files are not changed after verification so there's no point to rewrite them one more time

@maxonfjvipon
Copy link
Member

@yegor256 see above

@yegor256
Copy link
Member Author

@maxonfjvipon please, review this one

Copy link
Member

@maxonfjvipon maxonfjvipon left a comment

Choose a reason for hiding this comment

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

@yegor256 LGTM! Thanks

out:
- ".*greater.*"
args: [ "main", "17" ]
file: org/eolang/snippets/ifthenelse.eo
args: [ "org.eolang.snippets.ifthenelse", "17" ]
Copy link
Member

Choose a reason for hiding this comment

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

@yegor256 maybe it's not really part of you task, but what's the point passing "17" here, if it isn't used?

Copy link
Member Author

Choose a reason for hiding this comment

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

@yegor256
Copy link
Member Author

@rultor merge

@rultor
Copy link
Contributor

rultor commented Dec 22, 2023

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit f2bb5ac into master Dec 22, 2023
13 checks passed
@rultor
Copy link
Contributor

rultor commented Dec 22, 2023

@rultor merge

@yegor256 Done! FYI, the full log is here (took me 21min)

@yegor256 yegor256 deleted the 2660 branch December 23, 2023 04:34
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.

SnippetTestCase is not working
4 participants