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

Move Jsx and JsxDOM inside Pervasives. #6091

Merged
merged 1 commit into from
Mar 22, 2023
Merged

Move Jsx and JsxDOM inside Pervasives. #6091

merged 1 commit into from
Mar 22, 2023

Conversation

cristianoc
Copy link
Collaborator

Turn JsxDOM into a module, so it's built separately for Pervasives and PervasivesU.

@cristianoc cristianoc requested a review from cknitt March 21, 2023 17:57
@cristianoc cristianoc force-pushed the move_jsx_jsxdom branch 3 times, most recently from 1d42992 to 9ce5930 Compare March 22, 2023 06:41
cristianoc added a commit to rescript-lang/rescript-vscode that referenced this pull request Mar 22, 2023
See rescript-lang/rescript#6091 where the jsx modules are moved inside Pervasives, to provide 2 different copies for curried and uncurried mode.
@cristianoc cristianoc force-pushed the move_jsx_jsxdom branch 3 times, most recently from ac771c6 to 2fc209d Compare March 22, 2023 09:49
Turn JsxDOM into a module, so it's built separately for Pervasives and PervasivesU.
Copy link
Member

@cknitt cknitt left a comment

Choose a reason for hiding this comment

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

Tested against a large project, looks good! 👍

@cristianoc cristianoc merged commit 299e493 into master Mar 22, 2023
@cristianoc cristianoc deleted the move_jsx_jsxdom branch March 22, 2023 12:23
cristianoc added a commit to rescript-lang/rescript-vscode that referenced this pull request Mar 22, 2023
See rescript-lang/rescript#6091 where the jsx modules are moved inside Pervasives, to provide 2 different copies for curried and uncurried mode.
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