Skip to content

Conversation

edsko
Copy link
Collaborator

@edsko edsko commented Jul 11, 2025

Note the use of -pgmc, -optc and -pgma in the .cabal file.

This PR is not meant to be merged as-is; we need to think about what to do with examples like this, which are in a similar spirit to the manual example.

Note the use of `-pgmc`, `-optc` and `-pgma` in the `.cabal` file.
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.

1 participant