Skip to content

Fix handedited cabal file#44

Merged
banacorn merged 2 commits intoagda:masterfrom
juliapath:fix-handedited-cabal
Apr 5, 2026
Merged

Fix handedited cabal file#44
banacorn merged 2 commits intoagda:masterfrom
juliapath:fix-handedited-cabal

Conversation

@juliapath
Copy link
Copy Markdown
Contributor

In #37 these RTS options for WASM were set in the cabal file, but not in package.yaml, so that they would be lost when a new cabal file is generated by hpack.

The RTS options for WASM were set in the cabal file, but not
in package.yaml, so that they would be lost when a new cabal file
is regenerated by hpack.
Copy link
Copy Markdown
Collaborator

@andy0130tw andy0130tw left a comment

Choose a reason for hiding this comment

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

LGTM. Thanks!

@banacorn banacorn merged commit 593fb98 into agda:master Apr 5, 2026
@banacorn
Copy link
Copy Markdown
Member

banacorn commented Apr 5, 2026

Thank you!

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.

3 participants