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

Fix PS-generator and generated files to match #63

Merged
merged 1 commit into from
Jan 16, 2024
Merged

Conversation

palas
Copy link
Collaborator

@palas palas commented Jan 16, 2024

generate-purescript script was complaining of git tree being "dirty", and it seemed that the issue was that I hadn't updated the source of the examples that were generated from Haskell to PureScript and didn't have the literal address but generated the address from the bytes. So this PR fixes this so that it all matches and works hopefully. Because it is a very minor change I don't think it needs any reviewers.

Pre-submit checklist:

  • Branch
    • Tests are provided (if possible)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
    • Relevant tickets are mentioned in commit messages
    • Formatting, materialized Nix files, PNG optimization, etc. are updated
  • PR
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

@palas palas added the bug Something isn't working label Jan 16, 2024
@palas palas self-assigned this Jan 16, 2024
@palas palas added the No Changelog Required Turns of the check-changelog check label Jan 16, 2024
@palas palas merged commit 6052803 into main Jan 16, 2024
5 of 7 checks passed
@palas palas deleted the fix-ps-generator branch January 16, 2024 13:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working No Changelog Required Turns of the check-changelog check
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant