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

Show -fclash-* Options in clash --show-options #961

Merged
merged 1 commit into from
Jan 13, 2020

Conversation

alex-mckenna
Copy link
Contributor

@alex-mckenna alex-mckenna commented Dec 9, 2019

When calling clash with the --show-options flag, it now prints
all options, including common clash options which were previously
not being shown.

It remains to be seen how to document all the flags which are
added by clash (instead of GHC).

EDIT: Flag reference is a separate issue, see #987

When calling clash with the --show-options flag, it now prints
all options, including common clash options which were previously
not being shown. It remains to be seen how to document all the flags
which are added by clash (instead of GHC).
@alex-mckenna
Copy link
Contributor Author

Closed in favour of #962

@alex-mckenna alex-mckenna reopened this Dec 17, 2019
@alex-mckenna alex-mckenna changed the title Document Clash-specific Flags (#951) Show -fclash-* Options in clash --show-options Jan 8, 2020
@alex-mckenna alex-mckenna marked this pull request as ready for review January 8, 2020 12:39
@alex-mckenna alex-mckenna requested review from christiaanb and leonschoorl and removed request for christiaanb January 8, 2020 12:40
@leonschoorl leonschoorl merged commit 584eae5 into master Jan 13, 2020
@leonschoorl leonschoorl deleted the document-clash-flags branch January 13, 2020 15:20
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.

None yet

2 participants