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

Fix new.yaml #650

Open
deemp opened this issue Dec 28, 2024 · 0 comments · May be fixed by #651
Open

Fix new.yaml #650

deemp opened this issue Dec 28, 2024 · 0 comments · May be fixed by #651
Assignees
@eyihluyc @Anatolay

Comments

@deemp
Copy link
Member

deemp commented Dec 28, 2024 •
edited
Loading

Details

Dataization tests fail

Currently, the tests in dataization.yaml fail when using the rules in new.yaml.

They work with yegor.yaml, though.

You can check that the tests fail by uncommenting this line and running stack test:

eo-phi-normalizer/eo-phi-normalizer/test/Language/EO/Phi/DataizeSpec.hs

Line 70 in 7cf0e3c

-- , ("New Yegor's rules", "test/eo/phi/rules/new.yaml")

The syntactic sugar in test input and output is described in the phi-paper.

Confluence tests fail

Subtasks

  • Fix the rules in new.yaml
@deemp deemp linked a pull request Dec 28, 2024 that will close this issue
650 fix new.yaml #651
Open
@deemp deemp linked a pull request Dec 28, 2024 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@eyihluyc eyihluyc

@Anatolay Anatolay

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

650 fix new.yaml objectionary/eo-phi-normalizer
3 participants
@eyihluyc @deemp @Anatolay