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

simple integration test #15

Closed
wants to merge 15 commits into from
Closed

simple integration test #15

wants to merge 15 commits into from

Conversation

yegor256
Copy link
Member

@yegor256 yegor256 commented Dec 28, 2023

See #3. Based on #22

This PR implements a simple integration test, where you inject your own normalization step


PR-Codex overview

Detailed summary

  • Added before.txt and after.txt files to .gitignore.
  • Added app.eo file to .gitignore.
  • Ignored .bak files.
  • Updated eo-phi-normalizer/src/Language/EO/Phi/Syntax/Lex.hs file.
  • Updated eo-phi-normalizer/src/Language/EO/Phi/Syntax/Par.hs file.
  • Updated eo-phi-normalizer/src/Language/EO/Phi/Syntax/Par.y file.
  • Updated eo-phi-normalizer/src/Language/EO/Phi/Syntax/Print.hs file.
  • Updated eo-phi-normalizer/src/Language/EO/Phi/Syntax/Abs.hs file.
  • Updated .github/workflows/ghc.yml file.
  • Updated pipeline.sh file.
  • Updated eo-phi-normalizer/grammar/EO/Phi/Syntax.cf file.
  • Updated eo-phi-normalizer/src/Language/EO/Phi/Syntax/Lex.x file.
  • Added pipeline directory.
  • Added app.eo file to pipeline directory.
  • Updated pipeline.sh file.
  • Updated eo-phi-normalizer/src/Language/EO/Phi/Syntax/Doc.txt file.

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

@fizruk fizruk requested a review from deemp December 28, 2023 19:17
@deemp deemp mentioned this pull request Jan 7, 2024
5 tasks
@deemp
Copy link
Member

deemp commented Jan 8, 2024

Blocked on #14. Normalizer can't parse.

Source EO code

[args] > app
  QQ.io.stdout > @
    "Hello, world!\n"

$\varphi$-expression

{app ↦ ⟦args ↦ ∅, φ ↦ Φ.org.eolang.io.stdout(α0 ↦ Φ.org.eolang.string(α0 ↦ Φ.org.eolang.bytes(Δ ⤍ 48-65-6C-6C-6F-2C-20-77-6F-72-6C-64-21-0A)))⟧}

@deemp deemp mentioned this pull request Jan 10, 2024
@fizruk
Copy link
Collaborator

fizruk commented Jan 11, 2024

Superseded by #24.

@fizruk fizruk closed this Jan 11, 2024
@aabounegm aabounegm deleted the 3 branch March 4, 2024 15:11
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.

4 participants