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

Support all options in flow init --options #7771

Closed
wants to merge 4 commits into from

Conversation

goodmind
Copy link
Contributor

@goodmind goodmind commented May 30, 2019

Fixes #7769

Doesn't support module.name_mappers

@goodmind
Copy link
Contributor Author

goodmind commented Jun 4, 2019

/cc @mroch

Copy link
Contributor

@facebook-github-bot facebook-github-bot left a comment

Choose a reason for hiding this comment

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

@mroch has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@mroch
Copy link
Contributor

mroch commented Jun 6, 2019

this is going to take me some time to merge because our internal build system (buck) does not like the new ppx. it would seem that ppx_fields_conv doesn't have a way to build its own ppx executable nor a self-contained deriving plugin (ppx_fields_conv.cmxs links against Base). I think we might have to build our own driver similar to ppx_jane to get this to work with buck.

@goodmind
Copy link
Contributor Author

goodmind commented Jun 6, 2019

It's mostly for typechecking when new fields would get added

@goodmind goodmind added Stalled Issues and PRs that are stalled. and removed Stalled Issues and PRs that are stalled. labels Jul 27, 2019
@gkz
Copy link
Member

gkz commented Mar 11, 2023

Our options have changed a lot since this PR.

@gkz gkz closed this Mar 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

flow init --options is broken
4 participants