objectionary/phino

AI Summary: A user attempted to install `phino` on a macOS system but encountered a "bad CPU type" error. Investigation revealed the downloaded executable is built for ARM64 architecture, while the user's system requires an x86_64 build. The user is requesting an official x86_64 build of `phino`.

AI Summary: The Stack build for the Haskell project 'phino' is failing after a recent pull request merge. The provided link shows a failed CI/CD build, indicating a problem with the project's build configuration or code changes introduced by the merged pull request. The task is to investigate the build failure log, identify the root cause (e.g., dependency conflicts, code errors, or configuration issues), and fix the problem to restore a successful Stack build.

AI Summary: Improve the error message when an invalid function name is used in the `when` clause of a YAML rule file. The current error is unhelpful; the improved message should clearly state that the specified function name was not found.

AI Summary: Add a `--target` or similar command-line option to the `phino rewrite` command. This option should allow users to specify a file path where the rewritten 𝜑-calculus expression should be saved instead of being printed to the console. The existing functionality of printing to the console should remain unchanged.

AI Summary: The task is to fix a bug in the `phino` command-line tool where the `--help` option is duplicated in the output of the `rewrite` command. This involves identifying the source of the duplicated help text within the codebase and correcting it, likely by removing redundant help option definitions or ensuring only one is printed.

AI Summary: Debug and fix the Codecov integration for the Haskell project 'phino', which is a command-line tool for manipulating 𝜑-calculus expressions. The issue is that test coverage reports are not being published to Codecov, requiring investigation into the Codecov configuration and build process to identify and resolve the problem.

AI Summary: Update the README file for the `phino` project to include instructions on how to install the pre-built binaries available at http://phino.objectionary.com/releases/ubuntu-24.04/phino-latest and http://phino.objectionary.com/releases/macos-15/phino-latest. This involves adding a new section or expanding the existing installation section to clearly explain this alternative installation method.

AI Summary: Investigate and resolve the issue preventing code coverage information from being reported to codecov.io for the Haskell project 'phino'. This likely involves verifying the codecov configuration, ensuring the coverage report generation is working correctly, and potentially troubleshooting any issues with the reporting process to codecov.io.

AI Summary: Investigate and fix a bug in the `phino` command-line tool where the `<metas/>` element in the generated XMIR output using the `--output=xmir` flag is misplaced at the end instead of its expected position before the `<o/>` element. The fix should maintain the functionality and correctness of the XMIR output.

AI Summary: Implement a command-line flag, `--omit-comments`, for the `phino` command-line tool. This flag should remove all comments from the XMIR output when processing 𝜑-calculus expressions. This builds upon previous work (Issue #127) related to XMIR processing.

AI Summary: The task is to fix a bug in the `phino` command-line tool where redundant empty brackets appear after attribute names in 'sweet' mode when using the normalization feature. The goal is to modify the code to remove these unnecessary brackets, ensuring the output is cleaner and more consistent.

AI Summary: The task involves fixing a bug in the XMIRSpec.hs file of the phino project. Specifically, a test related to XMIR printing needs to be corrected or removed. The fix should remove the identified puzzle text from the source code.

AI Summary: Refactor the XMIR module in the Haskell project 'phino' to improve code clarity and efficiency. This involves resolving a specific code puzzle identified in the source code (lines 38-41 of src/XMIR.hs) and removing the puzzle text afterward. The task requires familiarity with Haskell and the project's codebase.

AI Summary: Resolve a bug in the XMIRSpec.hs file of the phino project that prevents XMIR tests from enabling. This involves fixing the issue identified in puzzle `126-dab43680` and removing the corresponding text from the source code. The fix should ensure that all tests pass after the change.